Reference : Learning probabilistic models for model checking: an evolutionary approach and an emp...

	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/36876

Title :	Learning probabilistic models for model checking: an evolutionary approach and an empirical study
Language :	English
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)]
Publication date :	2018
Journal title :	International Journal on Software Tools for Technology Transfer
Publisher :	Springer Science & Business Media B.V.
Volume :	20
Issue/season :	6
Pages :	689-704
Peer reviewed :	Yes
Audience :	International
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/36876

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access STTT18.pdf Author postprint 884.91 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map