Institute for
HSR

News

Muen Separation Kernel v0.6

13.01.2015

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...

Weiterlesen...
 

ältere News im Archiv