✦ LIBER ✦

Semantics and verification of monitors and systems of monitors and processes

✍ Scribed by Stein Gjessing

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Runtime verification and monitoring of e

✍ Watterson, C.; Heffernan, D. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 346 KB

An experiment with the interchangeabilit

✍ Bjarne Stroustrup 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 985 KB

Radiation Monitors and Instruments

✍ Taylor, D. 📂 Article 📅 1962 🏛 Institution of Electrical Engineers ⚖ 788 KB

Comparison of PM2.5 and PM10 monitors

✍ WILLIAMS, R O N; SUGGS, J A C K; RODES, C H A R L E S; LAWLESS, P H I L; ZWEIDIN 📂 Article 📅 2000 🏛 Nature Publishing Group 🌐 English ⚖ 121 KB

SFT monitoring and design verification

✍ Ian Markey 📂 Article 📅 2010 🏛 Elsevier 🌐 English ⚖ 335 KB

An implementation of monitors

✍ A. M. Lister; K. J. Maynard 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 610 KB