Ziel von SeSam ist es, Grundlagen für die Entwicklung und Zertifizierung von hochsicheren Betriebssystemkomponenten zu schaffen. Insbesondere geht es ...
Das Projekt Viewpoint-basierte Modellierung (ViBaM) wurde im Rahmen des EU Programms "EuroStars" erfolgreich beantragt und wird vom BMBF gefördert. ...