Items where Person is "Lohr, Christophe"

Article

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

Thesis

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