Bozga-Graf-Mounier-02

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.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Model-based verification techniques ]

BibTex Reference

@InProceedings{Bozga-Graf-Mounier-02,
   Author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent},
   Title = {IF-2.0: A Validation Environment for Component-Based Real-Time Systems},
   BookTitle = {Proceedings of CAV'02 (Copenhagen, Denmark)},
   editor = {Ed Brinksma, K.G. Larsen},
   Volume = {2404},
   Pages = {343--348},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Month = {July},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)