[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1709 || Lessons from the application of formal methods to the design of a storm surge barrier control system

[Lecture Notes in Computer Science] FM’9

✍ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 413 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.

[Lecture Notes in Computer Science] Lect

[Lecture Notes in Computer Science] Lectures on Embedded Systems Volume 1494 || Formal methods in the design of a storm surge barrier control system

✍ Rozenberg, Grzegorz; Vaandrager, Frits W. 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 933 KB

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applied Formal Methods — FM-Trends 98 Volume 1641 || Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier

✍ Hutter, Dieter; Stephan, Werner; Traverso, Paolo; Ullmann, Markus 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 337 KB

[Lecture Notes in Computer Science] FM’9

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1708 || The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications

✍ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 178 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.

[Lecture Notes in Computer Science] FM 2

[Lecture Notes in Computer Science] FM 2009: Formal Methods Volume 5850 || Abstract Specification of the UBIFS File System for Flash Memory

✍ Cavalcanti, Ana; Dams, Dennis R. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 403 KB

[Lecture Notes in Computer Science] FM 2

[Lecture Notes in Computer Science] FM 2012: Formal Methods Volume 7436 || Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing

✍ Giannakopoulou, Dimitra; Méry, Dominique 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 224 KB

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. T