Operative architecture design and modelling for the validation of real-time applications.

Sbastien Faucou, Anne-Marie Dplanche, Yvon Trinquet

Browse the full ETFA paper archive.