Formal methods in system design. :: SCD d'Orléans

Formal methods in system design.

Formal methods in system design.

Enregistré dans:

Détails bibliographiques
Format:	Revue numérique
Langue:	Anglais
Publié:	Dordrecht : Kluwer 2002-. Dordrecht : Springer 2002-[200.]. [Dordrecht] : [200.]-.
Sujets:	Informatique
Accès en ligne:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme ISTEX (corpus Springer) Accès Université d'Orléans Accès INSA CVL
Note:	Titre provenant de l'écran-titre Articles mis en ligne par Springerlink Archives Springer périodiques (Licence nationale) Archives Springer périodiques (Licence nationale) Type of computer file: Articles en texte intégral au format html ou pdf
Autres localisations:	Voir dans le Sudoc
État de collection:	Revue électronique, (1992) - (2013)180339901, (1992) - (2013)
Edition sous un autre format:	• Formal methods in system design, 0925-9856

Documents similaires

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
par: Bernardo, Marco

Formal Methods in System Design.

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Formal foundations for software engineering methods
par: Hussmann, Heinrich, 1959-

Formal aspects of computing : applicable formal methods

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Formal systems specification : the RPC-memory specification case study
par: Broy, Manfred, 1949-

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings

Formal methods for components and objects : First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
par: Dean, Neville, 19..-

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

A formal model of visualization in computer graphics systems
par: Onodera, Tamiya, 19..-, et autres

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Integrated formal methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004 : proceedings
par: Boiten, Eerke, 1966-

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
par: Owe, Olaf, 19..-

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Formal development of reactive systems : case study production cell
par: Lewerentz, Claus, 19..-

Formal methods for industrial applications : specifying and programming the steam boiler control
par: Abrial, Jean-Raymond, 1938-2025, informaticien

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
par: Lakhnech, Yassine, 19..-

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Formal hardware verification : methods and systems in comparison
par: Kropf, Thomas, 1961-

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

Formal models of communicating systems : languages, automata, and monadic second-order logic
par: Bollig, Benedikt
Publié: (2006)

Formal methods and software development : Proceedings of the [first] International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 29, 1985 Colloquium on software engineering (CSE)

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Formal and natural computing : essays dedicated to Grzegorz Rozenberg
par: Brauer, Wilfried, 1937-2014

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales