✦ LIBER ✦

A formal model of composing components: the TLA+approach

✍ Scribed by Ondrej Rysavy; Jaroslav Rab

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal approach to perfective software

✍ David Rine 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 734 KB

A Multi-formalism Approach for the Valid

✍ Sophie Dupuy; Lydie du Bousquet 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 51 KB

Nonlinearly Elastic Shell Models: A Form

✍ Bernadette Miara 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 287 KB

Nonlinearly Elastic Shell Models: A Form

✍ Véronique Lods; Bernadette Miara 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 249 KB

The OsMoSys approach to multi-formalism

✍ V. Vittorini; M. Iacono; N. Mazzocca; G. Franceschinis 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 579 KB

Design of a virtual environment aided by

✍ Azzedine Boukerche; Abdulaziz Al Hamidi; Ming Zhang 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 609 KB