Verification and Evaluation of Computer and Communication Systems 1st ed. 2022. Cham : Springer International Publishing, 2022 (2022), Seite 59-74 1 Online-Ressource(XI, 91 p. 30 illus., 18 illus. in color.)
von Eckard Böde ; Werner Damm ; Günter Ehmen ; Martin Fränzle ; Kim Grüttner ; Philipp Ittershagen ; Bernhard Josko ; Björn Koopmann ; Frank Poppen ; Michael Siegel ; Ingo Stierand
von Eckard Böde ; Matthias Büker ; Werner Damm ; Günter Ehmen ; Martin Fränzle ; Sebastian Gerwinn ; Thomas Goodfellow ; Kim Grüttner ; Bernhard Josko ; Björn Koopmann ; Thomas Peikenkamp ; Frank Poppen ; Philipp Reinkemeier ; Michael Siegel ; Ingo Stierand
2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014) Piscataway, NJ : IEEE, 2014 (2014), Seite 67-76 582 S.
Legay, Axel Formal Modeling and Analysis of Timed Systems Cham [u.a.] : Springer, 2014 (2014), Seite 206-221 Online-Ressource (X, 253 p. 74 illus, online resource)