Verteilte Laufzeitverfikation auf eingebetteten Systemen.

Malte Schmitz

Original languageGerman
QualificationMaster of Science
Awarding Institution
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Tantau, Till, Supervisor
Publication statusPublished - 2014
Externally publishedYes

Access to Document

Other files and links

Cite this