The Guided System Development Framework: Modeling and Verifying Communication Systems.

Jose Quaresma, Christian W. Probst, Flemming Nielson

Browse the full ISoLA paper archive.