Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A learning-based framework for automatic parameterized verification
Li, Yongjian; Cao, Jialun; Pang, Jun
2019In Proceedings of the 37th International Conference on Computer Design (ICCD)
Peer reviewed
 

Files


Full Text
ICCD19.pdf
Author preprint (561.34 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Li, Yongjian
Cao, Jialun
Pang, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
A learning-based framework for automatic parameterized verification
Publication date :
2019
Event name :
37th International Conference on Computer Design (ICCD)
Event date :
2019
Audience :
International
Main work title :
Proceedings of the 37th International Conference on Computer Design (ICCD)
Publisher :
IEEE
Pages :
450-459
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 22 December 2020

Statistics


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

Scopus citations®
 
2
Scopus citations®
without self-citations
0
WoS citations
 
2

Bibliography


Similar publications



Contact ORBilu