✦ LIBER ✦

Specification and analysis of timing requirements for real-time systems in the CBD approach

✍ Scribed by Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

an approach to formal specification and

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

Time requirement specification in the gr

✍ J.J. Skubich; J.J. Schwarz; M. Maranzana; T. Szmuc 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 660 KB

Automated support for the formal specifi

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

The specification and design of hard rea

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 556 KB

A process algebraic framework for specif

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

Time-course and specificity of the argin

✍ Valentin H. Bonifas 📂 Article 📅 1967 🏛 Springer Vienna 🌐 English ⚖ 509 KB