✦ LIBER ✦

Hierarchical correctness verification in multiphase real-time software design

✍ Scribed by T Szmuc; P Szwed; J-J Schwarz; J Skubich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchical correctness verification in

✍ T. Szmuc; P. Szwed; J.-J. Schwarz; J. Skubich 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 770 KB

The creative step in designing real-time

✍ T Tempelmeier 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 665 KB

Time requirement specification in the gr

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

Software design methods for concurrent a

✍ John W. Fendrich 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 188 KB