Jean-Claude Fernandez
发表
An executable temporal logic to express safety properties and its connection with the language Lustr
Nicolas Halbwachs,
Ahmed Bouajjani,
Jean-Claude Fernandez,
1993
.
Nicolas Halbwachs,
Pascal Raymond,
Ahmed Bouajjani,
1992,
Sci. Comput. Program..
Nicolas Halbwachs,
Ahmed Bouajjani,
Jean-Claude Fernandez,
1990,
CAV.
Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
2003,
International Journal on Software Tools for Technology Transfer.
Yliès Falcone,
Laurent Mounier,
Jean-Claude Fernandez,
2014,
HOWARD-60.
Joseph Sifakis,
Ahmed Bouajjani,
Carlos Rodriguez,
1991,
ICALP.
Paul Caspi,
Alain Girault,
Jean-Claude Fernandez,
1995,
FSTTCS.
Jean-Claude Fernandez,
Jean-Claude Fernandez,
J. Fernandez,
1993,
WSA.
Alain Kerbrat,
Laurent Mounier,
Jean-Claude Fernandez,
1993,
CAV.
Jean-Claude Fernandez,
Jean-Claude Fernandez,
J. Fernandez,
1990,
Sci. Comput. Program..
Thierry Jéron,
Claude Jard,
César Viho,
1997,
Sci. Comput. Program..
Roland Groz,
Laurent Mounier,
Jean-Claude Fernandez,
2006,
TestCom.
Klaus Havelund,
Saddek Bensalem,
Laurent Mounier,
2006,
PADTAD '06.
Joseph Sifakis,
Hubert Garavel,
Carlos Rodriguez,
1992,
International Conference on Software Engineering.
Thierry Jéron,
Claude Jard,
Alain Kerbrat,
2000,
Sci. Comput. Program..
Thierry Jéron,
Claude Jard,
César Viho,
1996,
CAV.
Claude Jard,
Laurence Nedelka,
C. Jard,
2007
.
C. Jard,
T. Jéron,
L. Mounier,
1992,
Formal Methods Syst. Des..
Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
1999,
Sci. Comput. Program..
Laurent Mounier,
Jean-Claude Fernandez,
L. Mounier,
1991,
CAV.
Yliès Falcone,
Laurent Mounier,
Jean-Claude Fernandez,
2009,
RV.
J. Richier,
L. Mounier,
Jean-Claude Fernandez,
2022
.
Yassine Lakhnech,
Marius Bozga,
Saddek Bensalem,
2000,
SAS.
J. Sifakis,
Jacques Combaz,
Thierry Lepley,
2005,
Design, Automation and Test in Europe.