Publications of
Guillaume Brat, Celia Martinie De Almeida, Philippe Palanque
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2013), Las Vegas, Nevada, Etats-Unis, 21/07/13-26/07/13, Springer, LNCS, pp. 290-299, July 2013.
Eric Feron, Guillaume Brat, Pierre-Loïc Garoche, Pete Manolios, Marc Pantel
Formal methods for aerospace applications (short paper)
In : Formal Methods for Computer Assisted Design (FMCAD 2012), Cambridge, 22/10/12-25/10/12 (invited speaker), IEEE : Institute of Electrical and Electronics Engineers, pp. 3-3, October 2012.
Guillaume Brat, Eduardo Garcia, Antonio Moccia, Philippe Palanque, Alberto Pasquini, Francisco Saez, Marco Antonio Winckler
3rd International Conference on Application and Theory of Automation in Command and Control Systems, Naples, Italy, 28/05/13 – 30/05/13, IRIT Press, May 2013.
URL : http://www.irit.fr/~Marco.Winckler/ataccs2013-full-proceedings.pdf
BibTeX