OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Lohr, Christophe"

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


Apvrille, Ludovic and Courtiat, Jean-Pierre and Lohr, Christophe and Saqui-Sannes, Pierre de. TURTLE: A real-time UML profile supported by a formal validation toolkit. (2004) IEEE Transactions on Software Engineering, vol. 3 (n° 7). pp. 473-487. ISSN 0098-5589

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Sénac, Patrick and Lohr, Christophe. Verifying service continuity in a satellite reconfiguration procedure: application to a satellite. (2004) Automated Software Engineering, vol. 1 (n° 2). pp. 167-191. ISSN 0928-8910

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Lohr, Christophe and Sénac, Patrick and Courtiat, Jean-Pierre. UML and RT-LOTOS: an integration for real-time system validation. (2002) Journal Européen des Systèmes Automatisés (JESA), vol. 3 (n° 7). pp. 1029-1042. ISSN 1269-6935


Lohr, Christophe. Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-LOTOS. PhD, Institut National Polytechnique de Toulouse, 2002

This list was generated on Thu Jun 21 17:57:24 2018 CEST.