![](https://www.pdfsearch.io/img/add64307f7076b9a3b38c68bfa5e0435.jpg) Date: 2008-11-06 10:41:01
| | Durchgehender Einsatz von formaler Modellierung und Beweis als Mittel zur Zertifizierung sicherheitsrelevanter Software Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz, BremenAdd to Reading ListSource URL: www.informatik.uni-bremen.deDownload Document from Source Website File Size: 2,83 MBShare Document on Facebook
|