Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Statistical Model Checking for Variability-Intensive Systems
Cordy, Maxime; Papadakis, Mike; Legay, Axel
2020In FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020
Peer reviewed
 

Files


Full Text
FASE_2020___Statistical_Model_Checking_for_Variability_Intensive_Systems (18).pdf
Author preprint (816.35 kB)
Download

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) > SerVal
Papadakis, Mike ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Legay, Axel;  Université Catholique de Louvain - UCL
External co-authors :
yes
Language :
English
Title :
Statistical Model Checking for Variability-Intensive Systems
Publication date :
April 2020
Event name :
23rd International Conference on FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
Event date :
from 22-04-2020 to 25-04-2020
Audience :
International
Main work title :
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 20 January 2021

Statistics


Number of views
72 (1 by Unilu)
Number of downloads
54 (4 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu