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)