✦ LIBER ✦

Formal methods software engineering for the CARA system

✍ Scribed by John C. Martin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software engineering formal methods II

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB

Software engineering and formal methods

✍ Bernhard Aichernig; Bernhard Beckert 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 66 KB

Formal methods integration in software e

✍ Isabelle Perseil; Laurent Pautet 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 371 KB

Making formal methods education effectiv

✍ David Garlan 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1006 KB

SoSyM Special Section on Software Engine

✍ Jorge Cuellar; Zhiming Liu 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 46 KB

Modeling NASA swarm-based systems: using

✍ Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 676 KB