Retour
  1. Accueil
  3. Référence détaillée
Demander un accès
Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
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
Permalien
https://hdl.handle.net/10993/42026
DOI
10.1007/978-3-319-51963-0_35
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
A_Decade_of_Featured_Transition_Systems___From_Variability_aware_Model_Checking_to_Safe_AI (3).pdf
Preprint Auteur (413.13 kB)
Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
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
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
A Decade of Featured Transition Systems
Date de publication/diffusion :
2019
Nom de la manifestation :
From Software Engineering to Formal Methods and Tools, and Back
Date de la manifestation :
08-10-2019
Manifestation à portée :
International
Titre de l'ouvrage principal :
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Pagination :
285-312
Peer reviewed :
Peer reviewed
Disponible sur ORBilu :
depuis le 24 janvier 2020

Statistiques

Nombre de vues
86 (dont 3 Unilu)
Nombre de téléchargements
1 (dont 1 Unilu)
Voir plus de statistiques
citations Scopus®
 
8
citations Scopus®
sans auto-citations
8
OpenCitations
 
3
citations OpenAlex
 
8
citations WoS™
 
2

Bibliographie

Publications similaires


Contacter ORBilu