Related Books
Language: en
Pages: 60
Pages: 60
Type: BOOK - Published: 2022-05-19 - Publisher: Universitätsverlag Potsdam
The analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent com
Language: en
Pages: 40
Pages: 40
Type: BOOK - Published: 2017-11-30 - Publisher: Universitätsverlag Potsdam
Today, software has become an intrinsic part of complex distributed embedded real-time systems. The next generation of embedded real-time systems will interconn
Language: en
Pages: 64
Pages: 64
Type: BOOK - Published: 2022-05-19 - Publisher: Universitätsverlag Potsdam
The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Int
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2021-04-20 - Publisher: Springer Nature
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took
Language: en
Pages: 44
Pages: 44
Type: BOOK - Published: 2022-11-17 - Publisher: Universitätsverlag Potsdam
The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result i