Title
Test Sequence Generation From Formally Verified SysML Models.
Year
Venue
DocType
2019
Software Engineering
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Pierre de Saqui-Sannes113318.91
Ludovic Apvrille213622.23