*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
*Author/editor-in-chief*:
*Publication*:
München : Universitätsbibliothek der TU München, 2021
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, München, Technische Universität München, 2021
*Subject Added Keywords*: