Reference : Towards sampling and simulation-based analysis of featured weighted automata
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/42031
Towards sampling and simulation-based analysis of featured weighted automata
English
Cordy, Maxime mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Legay, Axel mailto [Université Catholique de Louvain - UCL]
Lazreg, Sami mailto [University of Nice Sophia Antipolis]
Collet, Philippe mailto [University of Nice Sophia Antipolis]
May-2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
61-64
Yes
International
7th International Workshop on Formal Methods in Software Engineering
27-05-2019
http://hdl.handle.net/10993/42031

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
Towards_Statistical_Model_Checking_of_Featured_Weighted_Automata (9).pdfAuthor preprint176.89 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.