Skip to Main content Skip to Navigation


...
inria-00262442v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixPatrick FarailMamoun FilaliHubert Garavel et al.  Fiacre: an Intermediate Language for Model Verification in the Topcased Environment
4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p