Institute for
HSR

13.01.2015
Muen Separation Kernel v0.6

Das ITA hat die Entwicklerversion 0.6 des Open-Source Muen Separation Kernel vorgestellt. Der unter Verwendung formaler Methoden entwickelte Kernel wurde  erfolgreich auf die SPARK-2014-Tech­no­logie aktualisiert.