✦ LIBER ✦

VSE: formal methods meet industrial needs

✍ Scribed by Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The industrial use of formal methods

✍ Martyn Thomas 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 668 KB

The industrialization of formal methods

✍ John S. Fitzgerald; Stefania Gnesi; Dino Mandrioli 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 98 KB

How a graduate school education can meet

✍ John C. Fetzer 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 24 KB

Meeting the real needs of the automation

✍ M.G. Rodd 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Assessment of PCB Congener Analytical Me

✍ N. L. Judd; W. C. Griffith; D. A. Kalman; E. M. Faustman 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 86 KB

Meeting the needs of consumers: Lessons

✍ Lisa A. Garrett; Connie L. Vogt 📂 Article 📅 2003 🏛 John Wiley and Sons ⚖ 78 KB 👁 3 views