Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Towards sampling and simulation-based analysis of featured weighted automata
Cordy, Maxime; Legay, Axel; Lazreg, Sami et al.
2019In Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
Peer reviewed
 

Files


Full Text
Towards_Statistical_Model_Checking_of_Featured_Weighted_Automata (9).pdf
Author preprint (181.14 kB)
Request a copy

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)
Legay, Axel;  Université Catholique de Louvain - UCL
Lazreg, Sami;  University of Nice Sophia Antipolis
Collet, Philippe;  University of Nice Sophia Antipolis
External co-authors :
yes
Language :
English
Title :
Towards sampling and simulation-based analysis of featured weighted automata
Publication date :
May 2019
Event name :
7th International Workshop on Formal Methods in Software Engineering
Event date :
27-05-2019
Audience :
International
Main work title :
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
Pages :
61-64
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 24 January 2020

Statistics


Number of views
58 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
3
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu