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

*Title*:

*Author/editor-in-chief*:

*Edition*:

1. Auflage

*Publication*:

Göttingen : sierke VERLAG - Sierke WWS GmbH, 2021

*Physical description scale*:

170 Seiten : Illustrationen, Diagramme ; 24 cm x 17 cm, 450 g

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Technische Universität München ; 26

*Notes*:

vollständiger Abdruck

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9783965481107 ; 396548110X

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