Gières, France

Time filter

Source Type

Abdellatif T.,Center Equation |
Combaz J.,French National Center for Scientific Research |
Sifakis J.,French National Center for Scientific Research

Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10 | Year: 2010

Dang T.,French National Center for Scientific Research |
Testylier R.,Center Equation

HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control | Year: 2011

Graf S.,Center Equation |
Peled D.,Bar - Ilan University |
Quinton S.,TU Braunschweig

Formal Methods in System Design | Year: 2012

Bliudze S.,CEA Saclay Nuclear Research Center |
Sifakis J.,Center Equation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2011

Graf S.,Center Equation |
Peled D.,Bar - Ilan University |
Quinton S.,Center Equation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2010

Graf S.,Center Equation |
Peled D.,Bar - Ilan University

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2011

Sifakis J.,Center Equation

Formal Methods in System Design | Year: 2010

Moy M.,Center Equation |
Altisen K.,Center Equation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2010

Cotton S.,Center Equation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2010

Minopoli S.,Center Equation |
Frehse G.,Center Equation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2014

Loading Center Equation collaborators