Mars 2.0 ermöglicht die Modellierung, Analyse, Verifikation und Code-Generierung von Cyber-Physical Systems.
