✦ LIBER ✦

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

✍ Scribed by Cavalcanti, Ana; Dams, Dennis R.

Book ID: 120049091
Publisher: Springer Berlin Heidelberg
Year: 2009
Weight: 403 KB
Category: Article
ISBN: 3642050891
DOI: 10.1007/978-3-642-05089-3_13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The steam boiler case study: Competition of formal program specification and development methods

✍ Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 808 KB

[Lecture Notes in Computer Science] FM’9

[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

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

[Lecture Notes in Computer Science] FM’9

[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

✍ 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] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 6617 || Symmetry for the Analysis of Dynamic Systems

✍ Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 289 KB

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and sele