Müllerburg, M.M.MüllerburgSylla, K.-H.K.-H.Sylla2022-03-032022-03-032000https://publica.fraunhofer.de/handle/publica/198579de005006629681Ein Konzept zur Validierung objekt-orientierter Software für eingebettete Systemejournal article