HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.

Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba lveczky

Browse the full CAV paper archive.