Jean-Luc Marty

According to our database, Jean-Luc Marty authored at least 2 papers between 1994 and 1999.

Collaborative distances:

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

1999

Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.

Eric Conquet, Jean-Luc Marty

Proceedings of the FM'99 - Formal Methods, 1999

1994

Specification of Cooperative Application: A Structure of Cooperation Modelling.

Jean-Luc Marty, Thierry Desprats, François Barrère

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994