Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, Apr...

Inhaltstext

Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings

Inhaltsverzeichnis

Formal modeling and analysis of timed systems first International Workshop, FORMATS 2003, Marseille, France, September 6 - 7, 2003 ; revised papers

Teaching formal methods CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004 ; proceedings

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, It...

Formal methods for components and objects second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4 - 7, 2003 ; revised lectures

FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03

Inhaltsverzeichnis

Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM...

Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS...

Inhaltsverzeichnis

Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings

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 Fo...

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 N...

Inhaltsverzeichnis

Formal approaches to software testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 ; revised selected papers

Formal approaches to agent based systems third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26 - 27, 2004 ; revised selected papers

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands, November 2 - 5, 2004 ; revised lectures

Inhaltsverzeichnis

Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software, FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 ; revised p...

Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004 ; proceedings

Formal approaches to agent-based systems second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 ; revised papers