Jean-François Tilman

According to our database, Jean-François Tilman authored at least 2 papers between 2004 and 2008.

Collaborative distances:

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

2008

Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.

Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2004

Building Tool Suite for AADL.

Jean-François Tilman

Proceedings of the Architecture Description Languages, 2004