Modeling and specification languages

International Conferences

  1. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, J.L. Roux, Daniel Vincent. Timed Extensions for SDL. In Proceedings of SDL FORUM'01 (Copenhagen, Denmark), LNCS, Volume 2078, Pages 223-240, June 2001. (more) pdf
  2. Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent. SDL for Real-Time: What is Missing?. In Proceedings of SAM'00: 2nd Workshop on SDL and MSC (Grenoble, France), Pages 108-122, June 2000. (more) pdf