Jean-Luc Marty

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Eric Conquet, Jean-Luc Marty
Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. World Congress on Formal Methods (1999)
Jean-Luc Marty, Thierry Desprats, François Barrère
Specification of Cooperative Application: A Structure of Cooperation Modelling. Applied Informatics (1994)