Reihe Technische Universität München

Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production au