Malte Schmitz

• Verteilte Laufzeitverifikation auf eingebetteten Systemen