42 treff

formal methods computer science
Understanding formal methods
written and translated by Jean François M...
Bok Engelsk 2003 · Vis mer
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
FMCAD 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
FMCAD '98
Bok Engelsk 1998 · Vis mer
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
FMCAD '96
Bok Engelsk 1996 · Vis mer
Software specification methods
edited by Henri Habrias, Marc Frappier
Bok Engelsk 2006 · Vis mer
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
IFM 2002
Bok Engelsk 2002 · Vis mer
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
IFM 2000
Bok Engelsk 2000 · Vis mer
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods for distributed system development
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification
Bok Engelsk 2000 · Vis mer
Industrial strength formal methods in practice
Michael G. Hinchey and Jonathan P. Bowen,...
Bok Engelsk 1999 · Vis mer
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
EPEW 2007
Bok Engelsk 2007 · Vis mer
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
International Workshop on Web Services and Formal Methods
Bok Engelsk 2006 · Vis mer
Verification of reactive systems : formal methods and algorithms
Klaus Schneider
Bok Engelsk 2004 · Vis mer
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
International School on Formal Methods for the Design of Computer, Communication and Software Systems
Bok Engelsk 2003 · Vis mer
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2003 · Vis mer
Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
EEF/Euro Summer School on Trends in Computer Science
Bok Engelsk 2001 · Vis mer
Formal hardware verification : methods and systems in comparison
Thomas Kropf (ed.)
Bok Engelsk 1997 · Vis mer
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Hans-Jörg Kreowski ... [et al.] (eds.)
Bok Engelsk 2005 · Vis mer
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures
FMCO 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification
Bok Engelsk 1999 · Vis mer
Formal methods for industrial critical systems : a survey of applications /
edited by Stefania Gnesi, Tiziana Margari...
Bok Engelsk 2012 · Vis mer
FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2.
World Congress on Formal Methods in the Development of Computing Systems (1 : 1999 Toulouse)
Bok Engelsk 1999 · Vis mer
Vis flere utgaver
Vis flere utgaver
Petri nets for systems engineering : a guide to modeling, verification, and applications
Claude Girault, Rüdiger Valk
Bok Engelsk 2003 · Vis mer
Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers
FATES 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Validated designs for object-oriented systems
John Fitzgerald ... [et al.]
Bok Engelsk 2005 · Vis mer
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
FORMATS 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Duration calculus : a formal approach to real-time systems
Zhou, Chaochen
Bok Engelsk 2004 · Vis mer