The VFiasco Project

http://os.inf.tu-dresden.de/vfiasco/

The VFiasco project: Towards a verified operating-system kernel. Overview, status, news

Welcome | mxp, Prof. Dr.-Ing. Michael Piotrowski

http://dynalabs.de/mxp

Keine Beschreibung vorhanden.

Wärtsilä SAM Electronics

http://www.sam-electronics.de/dateien/pad/broschueren/1.093.pdf

Keine Beschreibung vorhanden.

Wärtsilä SAM Electronics

http://www.sam-electronics.de/dateien/pad/broschueren/1.064.pdf

Keine Beschreibung vorhanden.

https://web.archive.org/web/20120704221549/http://www.imprs-life.mpg.de/en/people/alumni/883.id927.html

Keine Beschreibung vorhanden.