Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.

Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli

Browse the full EMSOFT paper archive.