Reference : A Decade of Featured Transition Systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/42026
A Decade of Featured Transition Systems
English
Cordy, Maxime mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Devroey, Xavier mailto [TU Delft]
Legay, Axel mailto [Université Catholique de Louvain - UCL]
Perrouin, Gilles mailto [Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP]
Classen, Andreas mailto [Intecsoft]
Heymans, Patrick mailto [Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP]
Schobbens, Pierre-Yves mailto [Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP]
Raskin, Jean-François mailto [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

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
A_Decade_of_Featured_Transition_Systems___From_Variability_aware_Model_Checking_to_Safe_AI (3).pdfAuthor preprint403.45 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.