Significant service restrictions in the lending area from 17 March!
  • Application concept and evalua...

Result: Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes

Title:
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
Involved:
Cha, Suhyun (Verfasser) ; Vogel-Heuser, Birgit (Akademischer Betreuer) ; Vogel-Heuser, Birgit (Gutachter) ; Beckert, Bernhard (Gutachter)
Published:
München : Universitätsbibliothek der TU München, 2021
Scope:
1 Online-Ressource
Format:
eBook
Language:
English
Dissertation note:
Dissertation, München, Technische Universität München, 2021
Subject Added Keywords:

Additional information

Additional functions