Title
Conformance Testing of Schedulers for DSL-based Model Checking.
Year
DOI
Venue
2019
10.1007/978-3-030-30923-7_12
SPIN
Field
DocType
Citations 
Model checking,Software engineering,Digital subscriber line,Computer science,Conformance testing
Conference
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Nhat-Hoa Tran100.34
Toshiaki Aoki212.08