✦ LIBER ✦

Qualitative formal method for requirements specification and validation of hybrid real-time safety systems

✍ Scribed by Lee, J.-S.; Cha, S.-D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated support for the formal specifi

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

A process algebraic framework for specif

✍ Adnan Sherif; Ana Cavalcanti; He Jifeng; Augusto Sampaio 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 492 KB

A formal approach to the specification a

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB

Specification and analysis of timing req

✍ Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 944 KB

an approach to formal specification and

✍ Yulin Yao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 473 KB

[Lecture Notes in Computer Science] Form

✍ Pettersson, Paul; Yi, Wang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 437 KB