✦ LIBER ✦

A formal abstract framework for modelling and testing complex software systems

✍ Scribed by Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal

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

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

Formalized model for a conversational ha

✍ E. A. Alekseenko; A. M. Dovgyallo 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 596 KB

Hardware-software complex for testing di

✍ A. V. Karasyov; I. A. Pustyl’nyak 📂 Article 📅 2008 🏛 Allerton Press, Inc. 🌐 English ⚖ 146 KB

A formal framework to model and validate

✍ Yahya Asadollahi; Vahid Rafe; Samaneh Asadollahi; Somayeh Assadollahi 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 214 KB

A formal mathematical framework for mode

✍ Robert St-Aubin; Joel Friedman; Alan K. Mackworth 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 679 KB