Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Lun Wang
Mariana Esther Martinez-Sanchez
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Kirill Lepikhin
Jing-Sheng Wong
Radu Timofte
Home
/
Paper
/
Test Sequence Generation From Formally Verified SysML Models.
Paper Info
Open Visualization
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
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Pierre de Saqui-Sannes
1
133
18.91
Ludovic Apvrille
2
136
22.23
1