✦ LIBER ✦

A Formal Method for Evaluation of a Modeled System Architecture

✍ Scribed by Rodano, Matthew; Giammarco, Kristin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Fuzzy Evaluation method for System of

✍ Pape, Louis; Giammarco, Kristin; Colombi, John; Dagli, Cihan; Kilicay-Ergin, Nil 📂 Article 📅 2013 🏛 Elsevier 🌐 English ⚖ 741 KB

A formal architectural model for logical

✍ Dianxiang Xu; Jianwen Yin; Yi Deng; Junhua Ding 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 475 KB

A proposed meta-model for formalizing sy

✍ F. Pfister; V. Chapurlat; M. Huchard; C. Nebut; J.-L. Wippler 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 831 KB

Modelling and evaluating theories involv

✍ Stephen Turner 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 450 KB

Transputer architectures for sensing in

✍ Probert, P. J. ;Djian, D. ;Hu, Huosheng 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 525 KB

Performance evaluation of a distributed

✍ Gianfranco Ciccarella; Frédéric Patricelli 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 323 KB