✦ LIBER ✦

Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS’11)

✍ Scribed by Salaün, Gwen; Schätz, Bernhard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface to the special section on Formal

✍ Alpuente, María; Joubert, Christophe; Kowalewski, Stefan; Roveri, Marco 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Preface to the special issue on Formal M

✍ Darren Cofer; Alessandro Fantechi; Stefan Leue; Pedro Merino 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 164 KB

Introduction: Special Issue on the Fourt

✍ Stefania Gnesi; Diego Latella 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 29 KB

Special Issue on the First International

✍ Stefania Gnesi; Diego Latella 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 49 KB