Ina Schieferdecker. Quality Assurance for Autonomous Systems-A Review of Model-Based Methods. In 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, FTDCS 2007, Sedona, AZ, USA, March 21-23, 2007. pages 199-204, IEEE Computer Society, 2007. [doi]
Abstract is missing.