Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König 0001, Viktor Matkovic. Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models. In 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. pages 1-5, IEEE, 2022. [doi]
Abstract is missing.