Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models
In: Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2022) - 20. ACM-IEEE International Conference on Formal Methods and Models for System Design: Shanghai, China; Online; 13-14 October 2022 - Piscataway: Institute of Electrical and Electronics Engineers (IEEE), 2022
2022book article/chapter in ProceedingsClosed access
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science » Computer Science » Verteilte SystemeFaculty of Engineering » Computer Science and Applied Cognitive Science » Computer Science » Theoretical Computer Science
Title in English:
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models
Author:
Schaffeld, MatthiasUDE
- LSF ID
- 61492
- ORCID
-
0000-0002-5308-7010
- Other
- connected with university
- LSF ID
- 60566
- ORCID
-
0000-0002-3240-0952
- Other
- connected with university
- GND
- 129524727
- LSF ID
- 11656
- ORCID
-
0000-0001-6594-326X
- Other
- connected with university
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
-
0000-0002-4193-2889
- Other
- connected with university
- GND
- 1256308501
- LSF ID
- 56641
- ORCID
-
0000-0002-6808-471X
- Other
- connected with university
Open Access?:
Closed access
IEEE ID
Scopus ID
Language of text:
English
Keyword, Topic:
cyber-physical systems ; formal modeling ; model lifecycle ; model validation