Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
OS Working group
Webinars
Statistics
Help
User Guide
FAQ
Publication list
Document types
Reporting
Training
ORCID
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Legal Information
Data protection
Legal notices
Back
Home
Detailed Reference
Request a copy
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.
2019
•
In
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
Peer reviewed
Permalink
https://hdl.handle.net/10993/42031
DOI
10.1109/FormaliSE.2019.00015
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
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
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
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
69 (0 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations
®
3
Scopus citations
®
without self-citations
0
OpenAlex citations
4
Bibliography
Similar publications
Contact ORBilu