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 : Laboratoire d'Informatique et d'Automatique pour les Systèmes

  Thanh Dat Nguyen ³ AuthorId : 1530008
Author

  Yassine Ouhammou ³ AuthorId : 992211
Author

  Emmanuel Grolleau ³ AuthorId : 365275
Author IdHAL : emmanuel-grolleau ORCID : https://orcid.org/0000-0001-7045-9819

  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