OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Boniol, Frédéric"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.


Boniol, Frédéric and Wiels, Virginie and Aït-Ameur, Yamine and Schewe, Klaus-Dieter. The landing gear case study: challenges and experiments. (2016) International Journal on Software Tools for Technology Transfer, 19 (2). 133-140. ISSN 1433-2779

Lauer, Michaël and Boniol, Frédéric and Pagetti, Claire and Ermont, Jérôme. End-to-end latency and temporal consistency analysis in networked real-time systems. (2014) International Journal of Critical Computer-Based Systems, 5 (3/4). 172-196. ISSN 1757-8779

Conference or Workshop Item

Boniol, Frédéric and Lauer, Michaël and Pagetti, Claire and Ermont, Jérôme. Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. (2013) In: 5th International Symposium on NASA Formal Methods (NFM 2013), 14 May 2013 - 16 May 2013 (Moffett Field, CA, United States).

This list was generated on Sat Aug 15 18:59:25 2020 CEST.