iFEST

swMATH7300MaRDI QIDQ19342FDOQ19342

Author name not available (Why is that?)

Cited In (3)

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