Article (Scientific journals)
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
Wang, Jingyi; Sun, Jun; Yuan, Qixia et al.
2018In International Journal on Software Tools for Technology Transfer, 20 (6), p. 689-704
Peer reviewed
 

Files


Full Text
STTT18.pdf
Author postprint (906.15 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Wang, Jingyi
Sun, Jun
Yuan, Qixia
Pang, Jun  ;  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)
External co-authors :
yes
Language :
English
Title :
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
Publication date :
2018
Journal title :
International Journal on Software Tools for Technology Transfer
Publisher :
Springer Science & Business Media B.V.
Volume :
20
Issue :
6
Pages :
689-704
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 09 October 2018

Statistics


Number of views
72 (4 by Unilu)
Number of downloads
176 (1 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
3
OpenCitations
 
3
WoS citations
 
2

Bibliography


Similar publications



Contact ORBilu