| A Decade of Featured Transition Systems |
| English |
| Cordy, Maxime [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Devroey, Xavier [TU Delft] |
| Legay, Axel [Université Catholique de Louvain - UCL] |
| Perrouin, Gilles [Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP] |
| Classen, Andreas [Intecsoft] |
| Heymans, Patrick [Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP] |
| Schobbens, Pierre-Yves [Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP] |
| Raskin, Jean-François [Université Libre de Bruxelles - ULB] |
| 2019 |
| From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday |
| 285-312 |
| Yes |
| International |
| From Software Engineering to Formal Methods and Tools, and Back |
| 08-10-2019 |
| http://hdl.handle.net/10993/42026 |