Projects for tag "TFPG"

COMPASS

COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is a toolset aiming to ensure system-level correctness, safety, dependability and performabili...

Updated on: 14/04/2019
Created on: 13/09/2018
Owner: RWTH Aachen University (Germany) and Fondazione Bruno Kessler (Italy)