Rigorous Component-Based System Design Using the BIP Framework

2011/05/01 by Ananda Basu, Bensalem Bensalem, Marius Bozga +4 · 1 citation

paper · doi:10.1109/ms.2011.27

Cited by

• Varanus: Runtime Verification for CSP