Jacques Combaz
发表
F. Ingrand,
S. Bensalem,
M. Foughali,
2020,
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
A. Bugeau,
Anne-Laure Ligozat,
J. Lefèvre,
2021,
Sustainability.
Sophie Quinton,
A. Girault,
Jacques Combaz,
2022
.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2019,
Leibniz Trans. Embed. Syst..
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2014,
TACAS.
Jan Kofron,
Francesco Tiezzi,
Rosario Pugliese,
2015,
The ASCENS Approach.
Joseph Sifakis,
Thanh-Hung Nguyen,
Marius Bozga,
2011,
IEEE Software.
Joseph Sifakis,
Tesnim Abdellatif,
Jacques Combaz,
2013,
Mathematical Structures in Computer Science.
Lavindra de Silva,
Saddek Bensalem,
Félix Ingrand,
2012,
Robotics Auton. Syst..
Ugo Montanari,
Andrea Vandin,
Carlo Pinciroli,
2015
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
Int. J. Crit. Comput. Based Syst..
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2016,
FM.