iFEST

MaRDI QIDQ19342swMATHFDO

Official website http://www.artemis-ifest.eu/

Cited in

(6)

• Analysing sanity of requirements for avionics systems
• DiVinE
• Cheddar
• Zelus
• Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
• Collaborative models for autonomous systems controller synthesis

This page was built for software: iFEST