Xavier Renault
THALES, Communications & Security, Department Member
•
by Xavier Renault and Alban Linard
Publication Date: 2006
Publication Name: Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Research Interests:
•
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Netsmore
by Xavier Renault and Fabrice Kordon
Publication Date: 2009
Publication Name: 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Research Interests:
•
by Xavier Renault and Fabrice Kordon
Publication Date: 2008
Publication Name: Lecture Notes in Computer Science
Research Interests:
•
by Xavier Renault and Fabrice Kordon
Publication Date: 2008
Publication Name: Lecture Notes in Computer Science
Research Interests:
•
Publication Date: 2013
Publication Name: Kordon/Embedded Systems
•
by Xavier Renault and Fabrice Kordon
Publication Date: 2009
Publication Name: 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Research Interests:
•
Publication Date: 2006
Publication Name: Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Research Interests:
•
by Xavier Renault and Fabrice Kordon