Time4Sys – Integrating Timing Verification in your Engineering Practices

  Loïc Fejoz ¹ AuthorId : 1315368

Author

  Lionel Havet ¹ AuthorId : 1311337

Author

  Aurélien Didier ² AuthorId : 11351979
Author

  Benoit Viaud ² AuthorId : 11381968
Author

  Anh-Toan Bui Long ³ AuthorId : 11351980
Author Employer institution : LIAS - ENSIP

  Thanh Dat Nguyen ³ AuthorId : 1530008
Author

  Yassine Ouhammou ³ AuthorId : 992211
Author

  Emmanuel Grolleau ³ AuthorId : 365275

Author

  Adriana Gogonel ^{4, 5} AuthorId : 1321075

Author Employer institution : Models and methods of analysis and optimization for systems with real-time and embedding constraints IdHAL : adriana-gogonel

  Cristian Maxim ^{4, 5} AuthorId : 1321074

Author Employer institution : Models and methods of analysis and optimization for systems with real-time and embedding constraints

  Liliana Cucu-Grosjean ^{5, 4} AuthorId : 11350884

Author

  Rafik Henia ⁶ AuthorId : 219286
Author

  Laurent Rioux ⁶ AuthorId : 393518

Author Employer institution : THALES

  Nicolas Sordon ⁷ AuthorId : 601580
Author

  Nicolas Ayache ⁷ AuthorId : 532809
Author

  Joris Rehm ⁷ AuthorId : 121205
Author