Rhapsody

swMATH9456MaRDI QIDQ21439FDOQ21439

Author name not available (Why is that?)

Cited In (2)

• Model based control system design using SysML, Simulink, and Computer Algebra System
• Applying Software Model Checking Techniques for Behavioral UML Models

This page was built for software: Rhapsody