iFEST

swMATH7300MaRDI QIDQ19342FDOQ19342

Author name not available (Why is that?)

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

Cited In (5)

• Analysing sanity of requirements for avionics systems
• 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