Uni Bremen Logo IAT Logo Fachbereich 1: Physik, Elektro- und Informationstechnik
Search :: Imprint :: Sitemap :: Intern   spacer
Homepage >> Formal Specification and Verification of Skills within the Control Architecture MASSiVE
spacer
Formal Specification and Verification of Skills within the Control Architecture MASSiVE

O. Prenzel: "Formal Specification and Verification of Skills within the Control Architecture MASSiVE"; 27th Colloquium of Automation; 2005; Salzhausen; November.
Set font size to small Set font size to middle Set font size to big
2005 IAT - Institute of Automation  (Last change of this page 31.01.2006) Declaimer Nutzungsordnung