Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study.

Guillaume Brau, Nicolas Navet, Jrme Hugues

Browse the full RTNS paper archive.