Author:
Ring Martin,Lüth Christoph
Publisher
Springer International Publishing
Reference12 articles.
1. IEEE: IEEE std 1012–2016. IEEE standard for software verification and validation. Technical report. IEEE (2016)
2. Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Program. 78(5), 293–303 (2009)
3. Lüth, C., Ring, M., Drechsler, R.: Towards a methodology for self-verification. In: 2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO), 11–15 September 2017 (2017)
4. Ring, M., Bornebusch, F., Lüth, C., Wille, R., Drechsler, R.: Better late than never – verification of embedded systems after deployment. In: 2019 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 890–895, March 2019
5. Abrial, J.R.: System study: method and example (1999)