✦ LIBER ✦

Introduction to the special issue on runtime verification

✍ Scribed by Sokolsky, Oleg; Roşu, Grigore

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Introduction to the special section on r

✍ Oleg Sokolsky, Klaus Havelund, Insup Lee 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 147 KB

Introduction: Special Issue on Microproc

✍ Warren A. Hunt 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 26 KB

Introduction to the Special Issue on Ver

✍ Steven M. German 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 11 KB

Introduction to the Special Issue on Com

✍ Costas Courcoubetis 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 21 KB

Preface to special issue on software ver

✍ Hoare, C. A. R.; Misra, Jayadev 📂 Article 📅 2009 🏛 Association for Computing Machinery 🌐 English ⚖ 45 KB

Special issue on forecast verification

✍ Anna Ghelli; Elizabeth Ebert 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 37 KB