✦ LIBER ✦

Specifying and Analysing System-Level Inter-Component Interfaces

✍ Scribed by Mats P. E. Heimdahl; Jeffrey M. Thompson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

High-level design for user and component

✍ Gregor v. Bochmann 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 174 KB

Designing mechanical components to a spe

✍ Dimitri Kececioglu; Gaston Lamarre 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 772 KB

Component-level redundancy is better tha

✍ F. K. Hwang; L. A. Shepp 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB

A component-based Petri net model for sp

✍ Nasreddine Aoumeur; Gunter Saake 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 680 KB

Integrating UML and UPPAAL for designing

✍ André L. N. Muniz; Aline M. S. Andrade; George Lima 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 500 KB

Standby redundancy at system and compone

✍ C. Senthil Kumar 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 83 KB