Ina Schieferdecker. Quality Assurance for Autonomous Systems - A Review of Model-Based Methods. In International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA. pages 305-307, IEEE, 2007. [doi]
Abstract is missing.