Accès à distance ? S'identifier sur le proxy UCLouvain
Behavioural Modelling and Verification of Real-time Software Product Lines
Primary tabs
| Document type | Communication à un colloque (Conference Paper) |
|---|---|
| Publication date | 2012 |
| Language | Anglais |
| Conference | "16th Software Product Line Conference" (du 02/09/2012 au 07/09/2012) |
| Links |
| Bibliographic reference | Cordy, Maxime ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. Behavioural Modelling and Verification of Real-time Software Product Lines.16th Software Product Line Conference (du 02/09/2012 au 07/09/2012). |
|---|---|
| Permanent URL | https://hdl.handle.net/2078.1/210450 |