✦ LIBER ✦

A formal framework to model and validate event-based software architecture

✍ Scribed by Yahya Asadollahi; Vahid Rafe; Samaneh Asadollahi; Somayeh Assadollahi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Formal Engineering Framework for Servi

✍ Miao, Weikai; Liu, Shaoying 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 511 KB

Analytical Models for Architecture-Based

✍ Gokhale, S.S.; Trivedi, K.S. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 488 KB

A formal framework for modeling and vali

✍ Chunqing Chen; Jin Song Dong; Jun Sun 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 668 KB

A formal abstract framework for modellin

✍ Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 531 KB

A software architecture and framework fo

✍ Shifeng Zhang; Steve Goddard 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 667 KB

A framework for performing verification

✍ Edward A. Addy 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 158 KB