Treffer: Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes
Titel:
Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes / Suhyun Cha ; Gutachter: Birgit Vogel-Heuser, Bernhard Beckert ; Betreuer: Birgit Vogel-Heuser
Beteiligt:
Veröffentlicht:
München : Universitätsbibliothek der TU München, 2021
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, München, Technische Universität München, 2021
Schlagworte: