✦ LIBER ✦

Model-based approaches and frameworks for embedded software systems

✍ Scribed by João M. Fernandes; Dov Dori

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A test framework for CORBA* component mo

✍ Harold J. Batteram; Willem A. Romijn 📂 Article 📅 2003 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 176 KB 👁 2 views

VERTAF/Multi-Core: A SysML-Based Applica

✍ Chao-Sheng Lin; Chun-Hsien Lu; Shang-Wei Lin; Yean-Ru Chen; Pao-Ann Hsiung 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 754 KB

A semantic approach to a framework for b

✍ Yevgen Biletskiy; Girish R. Ranganathan 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 820 KB

QoS modeling and analysis of component-b

✍ Yunni Xia; Hanpin Wang; Wangsen Feng; Yu Huang 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 487 KB 👁 2 views

An Invertebrate Semantic/Software Applic

✍ Yevgen Biletskiy; Girish R. Ranganathan 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 651 KB

A formal framework for verifying distrib

✍ Francois Carcenac; Frederic Boniol 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 699 KB