Login / Signup
Eric Conquet
Publication Activity (10 Years)
Years Active: 1996-2011
Publications (10 Years): 0
</>
Publications
</>
Maxime Perrotin
,
Eric Conquet
,
Julien Delange
,
Andre Schiele
,
Thanassis Tsiodras
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future.
SDL Forum
(2011)
Eric Conquet
,
Jean-Luc Marty
Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.
World Congress on Formal Methods
(1999)
S. Ayache
,
Eric Conquet
,
Philippe Humbert
,
Carlos Rodriguez
,
Joseph Sifakis
,
R. Gerlich
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.
FTCS
(1996)