Logo Universität Bremen

http://www.informatik.uni-bremen.de

Universität Bremen - Fachbereich 3 - Informatik

  DRUCKEN  


Startseite Textformat


Für den Fall, dass Ihr Computer das entsprechende Format nicht angezeigen kann, können Sie sich hier das Dokument als unformatierte Textausgabe ansehen.

(Bitte haben Sie dafür Verständnis, dass gewisse Dokumente nicht als Textalternative zur Verfügung stehen.)


Download:
Download Model Checking von Speicher-bezogenen Eigenschaften für Hardware/Software Codesigns (application/pdf 214.9 KB)


Model Checking von Speicher-bezogenen Eigenschaften für Hardware/Software Codesigns

 



zurück  






  DRUCKEN