Autor der Publikation

To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?

, , , , und . ECSA (Companion), Seite 139-144. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Case Study to Elicit Challenges for Performance Engineering of Cyber Physical Systems., , und . ICPE Companion, Seite 217-222. ACM, (2017)Performance Modelling of Intelligent Transportation Systems: Experience Report., , , , und . ICPE (Companion), Seite 155-160. ACM, (2021)Performance Modelling of Smart Cyber-Physical Systems., , , , und . ICPE Companion, Seite 37-40. ACM, (2018)To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?, , , , und . ECSA (Companion), Seite 139-144. ACM, (2019)Engineering cyber-physical systems through performance-based modelling and analysis: A case study experience report., , und . J. Softw. Evol. Process., (2020)Energy-Aware Adaptive Techniques for Information Diffusion in Ungoverned Peer-to-Peer Networks., , , und . QoSA, Seite 96-105. IEEE Computer Society, (2016)Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design., , und . ICECCS, Seite 142-145. IEEE Computer Society, (2017)Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems., , , , und . SEFM Workshops, Volume 12226 von Lecture Notes in Computer Science, Seite 69-76. Springer, (2019)