✦ LIBER ✦

Didon: system for specification validation

✍ Scribed by N Boudriga; A Mili; R Zalila

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification and validation of a concur

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

A dialogue system specification for expl

✍ Douglas Walton 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

A Z specification for employment clerica

✍ Huai-kou Miao; Teklay Tesfay; Bizuneh Bekele 📂 Article 📅 2000 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 337 KB

A process algebraic framework for specif

✍ Adnan Sherif; Ana Cavalcanti; He Jifeng; Augusto Sampaio 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 492 KB

Using Simulation for the Validation of H

✍ Watcharee Jumpamule; Jean-Luc Paillet; Norbert Giambiasi 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 303 KB

Editor for system configuration and expe

✍ G Kühner; P Heimann; S Heinzel; Ch Hennig; H Kühntopf; H Kroiss; J Maier; J Reet 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 83 KB