Jähnichen, S.S.JähnichenWeber, M.M.Weber2022-03-032022-03-031997https://publica.fraunhofer.de/handle/publica/191829de004006Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssystemejournal article