𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin

✍ Scribed by Andrew Butterfield

Book ID: 108498376
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 99 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80830-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Issue on the First International

Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers

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

Introduction: Special Issue on the Fourt

Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11–12, 1999—Selected Papers

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