Étienne André
2
Documents
Identifiants chercheurs
etienne-andre
Présentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
Parametric schedulability analysis of a launcher flight control system under reactivity constraints19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany
Communication dans un congrès
hal-02072159v1
|
|
Time4sys2imi: A tool to formalize real-time system models under uncertainty16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia
Communication dans un congrès
hal-02234990v1
|