Accéder directement au contenu

Étienne André

1
Documents
Identifiants chercheurs
  • IdHAL etienne-andre

Présentation

My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")

Publications

859156
Image document

Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems

Baptiste Parquier , Laurent Rioux , Rafik Henia , Romain Soulat , Olivier Henri Roux
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Communication dans un congrès hal-02538041v1