Alain Jeffroy

According to our database, Alain Jeffroy authored at least 2 papers in 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Modeling and rapid prototyping of avionics using STATEMATE.

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

Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics.

Mohamed Romdhani, P. Chambert, Alain Jeffroy, Pierre de Chazelles, Ahmed Amine Jerraya

Proceedings of the Proceedings EURO-DAC'95, 1995