Back
  1. Home
  3. Detailed Reference
Request a copy
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Decade of Featured Transition Systems
CORDY, Maxime; Devroey, Xavier; Legay, Axel et al.
2019 • In From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Peer reviewed
Permalink
https://hdl.handle.net/10993/42026
DOI
10.1007/978-3-319-51963-0_35
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
A_Decade_of_Featured_Transition_Systems___From_Variability_aware_Model_Checking_to_Safe_AI (3).pdf
Author preprint (413.13 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
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
External co-authors :
yes
Language :
English
Title :
A Decade of Featured Transition Systems
Publication date :
2019
Event name :
From Software Engineering to Formal Methods and Tools, and Back
Event date :
08-10-2019
Audience :
International
Main work title :
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Pages :
285-312
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 24 January 2020

Statistics

Number of views
69 (3 by Unilu)
Number of downloads
1 (1 by Unilu)
More statistics
Scopus citations®
 
8
Scopus citations®
without self-citations
8
OpenCitations
 
3
OpenAlex citations
 
7
WoS citations™
 
2

Bibliography

Similar publications


Contact ORBilu