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
2022Buchaufsatz/Kapitel in TagungsbandClosed access
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Verteilte SystemeFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Titel in Englisch:
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models
Autor*in:
Schaffeld, MatthiasUDE
- LSF ID
- 61492
- ORCID
- 0000-0002-5308-7010
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 60566
- ORCID
- 0000-0002-3240-0952
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- GND
- 129524727
- LSF ID
- 11656
- ORCID
- 0000-0001-6594-326X
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- GND
- 1256308501
- LSF ID
- 56641
- ORCID
- 0000-0002-6808-471X
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Open Access?:
Closed access
IEEE ID
Scopus ID
Sprache des Textes:
Englisch
Schlagwort, Thema:
cyber-physical systems ; formal modeling ; model lifecycle ; model validation