Reference : Learning probabilistic models for model checking: an evolutionary approach and an emp...
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/36876
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
English
Wang, Jingyi []
Sun, Jun []
Yuan, Qixia []
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
2018
International Journal on Software Tools for Technology Transfer
Springer Science & Business Media B.V.
20
6
689-704
Yes
International
Researchers
http://hdl.handle.net/10993/36876

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
STTT18.pdfAuthor preprint884.91 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.