Modeling and rapid prototyping of avionics using STATEMATE.

Mohamed Romdhani, Alain Jeffroy, Pierre de Chazelles, Abd-El-Kader Sahraoui, Ahmed Amine Jerraya

Browse the full RSP paper archive.