Modeling and Verification of Time-Triggered Communication Protocols.

Maria Sorea, Bruno Dutertre, Wilfried Steiner

Browse the full ISORC paper archive.