✦ LIBER ✦

Project Specific Monitoring and Verification: State of the Art and Challenges

✍ Scribed by Kenneth G. Macdicken

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Project specific monitoring and verifica

✍ Kenneth G. Macdicken 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 730 KB

Reasoning and Verification: State of the

📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 598 KB

The Monitoring, Evaluation, Reporting an

✍ Edward Vine; Jayant Sathaye 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 76 KB

Task level specification and formal veri

✍ Kapellos, K.; Simon, D.; Jourdant, M.; Espiau, B. 📂 Article 📅 1999 🏛 Taylor and Francis Group 🌐 English ⚖ 618 KB

Program Verification: State of the Art,

✍ S. L. Kryvyi,O. M. Maksymets 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 122 KB

Cloud computing: state-of-the-art and re

✍ Qi Zhang; Lu Cheng; Raouf Boutaba 📂 Article 📅 2010 🏛 Springer (Biomed Central Ltd.) 🌐 English ⚖ 582 KB