Conference Papers
Year : 2012
Patrick Heymans : Connect in order to contact the contributor
https://inria.hal.science/hal-00718157
Submitted on : Monday, July 16, 2012-1:33:17 PM
Last modification on : Friday, March 24, 2023-2:52:55 PM
Dates and versions
Identifiers
- HAL Id : hal-00718157 , version 1
Cite
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Behavioural Modelling and Verification of Real-time Software Product Lines. 16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil. ⟨hal-00718157⟩
Collections
200
View
0
Download