✦ LIBER ✦

Semi-automatic guided synthesis of concurrent systems specifications

✍ Scribed by G. Leon; J. Cea; A. de la Fuente; F. Rodriguez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semi-automatic control of vacuum pumping

✍ N.C. Balchin; B.L. Mordike 📂 Article 📅 1959 🏛 Elsevier Science 🌐 English ⚖ 385 KB

Automatic verification of concurrent sys

✍ Antonella Santone 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 352 KB

Specification and implementation of conc

✍ B Gliss; J Gorski 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 713 KB

Specification and validation of a concur

✍ Gérard Berthelot; Laure Petrucci 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 215 KB

Tests of the semi-automatic NKR-100M dri

✍ P. M. Emel'yanov; N. N. Esin 📂 Article 📅 1968 🏛 Springer 🌐 English ⚖ 318 KB

Automatic Synthesis of Schedulers in Tim

✍ Padmanabhan Krishnan 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 760 KB