Skip to Main content Skip to Navigation

Search by documents



...
hal-02271255v1  Conference papers
P FarailP GaufilletJ-M FarinesJ-L LambertP Dissaux et al.  The COTRE Project: How to model and verify Real Time Architecture?
2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France