Thierry Machicoane

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. B (1998)