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 /

Documenti analoghi

• Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
  di: Joost-Pieter Katoen
  Pubblicazione: (1999, c1999)
• Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures /
  di: Marco Bernardo, Jane Hillston
  Pubblicazione: (2007, c2007)
• Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
  di: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Pubblicazione: (2003, c2003)
• Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
  di: Holger Hermanns, Roberto Segala
  Pubblicazione: (2002, c2002)
• Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
  di: Ed Brinksma
  Pubblicazione: (1997, c1997)