FM 2008:
Turku,
Finland
Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere (Eds.):
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings.
Lecture Notes in Computer Science 5014 Springer 2008, ISBN 978-3-540-68235-6 BibTeX
Invited Talks
Programming Language Analysis
Verification
Real-Time and Concurrency
Grand Chellenge Problems
FM Practice
Runtime Moitoring and Analysis
Communication
Constraint Analysis
Design
Industry Day
- Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya:
Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.
406-410
Electronic Edition (link) BibTeX
- Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev:
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.
411-418
Electronic Edition (link) BibTeX
- Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts:
Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.
419-424
Electronic Edition (link) BibTeX
- Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa:
Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.
425-429
Electronic Edition (link) BibTeX
- Thierry Lecomte:
Safe and Reliable Metro Platform Screen Doors Control/Command Systems.
430-434
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)
