Reference : Statistical Model Checking for Variability-Intensive Systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/45705
Statistical Model Checking for Variability-Intensive Systems
English
Cordy, Maxime mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal >]
Papadakis, Mike mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Legay, Axel mailto [Université Catholique de Louvain - UCL]
Apr-2020
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020
Yes
No
International
23rd International Conference on FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
from 22-04-2020 to 25-04-2020
http://hdl.handle.net/10993/45705

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
FASE_2020___Statistical_Model_Checking_for_Variability_Intensive_Systems (18).pdfAuthor preprint797.22 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.