𝔖 Bobbio Scriptorium

✦ LIBER ✦

Expressing checkable properties of dynamic systems: the Bandera Specification Language

✍ Scribed by James C. Corbett; Matthew B. Dwyer; John Hatcliff; Robby

Book ID: 106245661
Publisher: Springer
Year: 2002
Tongue: English
Weight: 360 KB
Volume: 4
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090200075

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 6th symposium - Reno/Taho

[ACM Press the 6th symposium - Reno/Tahoe, Nevada, USA (2010.10.18-2010.10.18)] Proceedings of the 6th symposium on Dynamic languages - DLS '10 - Experiences with an icon-like expression evaluation system

✍ Tratt, Laurence 📂 Article 📅 2010 🏛 ACM Press ⚖ 406 KB

[ACM Press the Fourth International Work

[ACM Press the Fourth International Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages - NFPinDSML '12 - Industrial adaptation of MARTE for early scheduling analysis of component-based applications

✍ Henia, Rafik; Rioux, Laurent; Vergnaud, Thomas 📂 Article 📅 2012 🏛 ACM Press ⚖ 71 KB