✦ LIBER ✦

Specification and Timing Analysis of Real-Time Systems

✍ Scribed by Shuhua Wang; Grace Tsai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Specification and analysis of real-time

✍ Oleg Sokolsky; Insup Lee; Hanêne Ben-Abdallah 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 278 KB

an approach to formal specification and

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

Parametric Approach to the Specification

✍ Hee-Hwan Kwak; Insup Lee; Oleg Sokolsky 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 612 KB

Real-time system specifications and thei

✍ W.J. Quirk 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 552 KB

Requirements specification of real-time

✍ Tereza G. Kirner; Alan M. Davis 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 740 KB