Datasets
- 1 results
Search results
-
Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material
Gleirscher, M. (Creator), Foster, S. D. (Creator) & Nemouchi, Y. (Creator), Zenodo, 19 Jul 2019
Dataset