Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
CORDY, Maxime; LAZREG, Sami; PAPADAKIS, Mike et al.
2021 • In Formal Aspects of Computing, 33 (6), p. 1147--1172
Peer reviewed vérifié par ORBi
Permalien
https://hdl.handle.net/10993/49668
DOI
10.1007/s00165-021-00563-2
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
4229a641-2cee-4bba-bb3f-345e67016ac9.pdf
Postprint Éditeur (1.62 MB)
Télécharger

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)
LAZREG, Sami ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal
PAPADAKIS, Mike ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Legay, Axel;  UC Louvain
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
Date de publication/diffusion :
2021
Titre du périodique :
Formal Aspects of Computing
ISSN :
0934-5043
eISSN :
1433-299X
Maison d'édition :
Springer, Allemagne
Volume/Tome :
33
Fascicule/Saison :
6
Pagination :
1147--1172
Peer reviewed :
Peer reviewed vérifié par ORBi
URL complémentaire :
https://doi.org/10.1007/s00165-021-00563-2
Projet FnR :
FNR13566661 - Behaviour-induced Configuration Of High Variability-intensive Systems, 2019 (01/09/2020-31/08/2023) - Maxime Cordy
Disponible sur ORBilu :
depuis le 14 janvier 2022

Statistiques

Nombre de vues
219 (dont 17 Unilu)
Nombre de téléchargements
65 (dont 4 Unilu)
Voir plus de statistiques
citations Scopus®
 
3
citations Scopus®
sans auto-citations
0
OpenCitations
 
0
citations OpenAlex
 
3
citations WoS™
 
3

Bibliographie

Publications similaires


Contacter ORBilu