Publisher
Springer International Publishing
Reference25 articles.
1. Erika realtime operating system. http://erika.tuxfamily.org/drupal/
2. Artho, C., Gros, Q., Rousset, G., Banzai, K., Ma, L., Kitamura, T., Hagiya, M., Tanabe, Y., Yamamoto, M.: Model-based API Testing of Apache ZooKeeper. In: Proceedings of 10th IEEE International Conference on Software Testing, Verification and Validation, pp. 288–298 (2017)
3. Berry, G.: Synchronous design and verification of critical embedded systems using SCADE and Esterel. In: 12th International Conference on Formal Methods for Industrial Critical Systems (2007)
4. Bucur, D., Kwiatowska, M.Z.: Poster abstract: software verification for TinyOS. In: 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (2010)
5. Choi, Y.: A configurable V&V framework using formal behavioral patterns for automotive control software. J. Syst. Softw. 137, 563–579 (2018)