Specification: The Biggest Bottleneck in Formal Methods and Autonomy
Book chapter (November 2016)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Book chapter (November 2016)
Book chapter (August 2015)
Conference proceeding in Proceedings of SPIE--the International Society for Optical Engineering (March 2015)