Publications 2002

International Conferences

  1. Marius Bozga, Susanne Graf, Laurent Mounier. IF-2.0: A Validation Environment for Component-Based Real-Time Systems. In Proceedings of CAV'02 (Copenhagen, Denmark), K.G. Larsen Ed Brinksma (ed.), LNCS, Volume 2404, Pages 343-348, July 2002. (more) pdf