Rhapsody

MaRDI QIDQ21439swMATHFDO

Official website http://www-03.ibm.com/software/products/en/ratirhaparchforsoft

Cited in

(4)

• Model based control system design using SysML, Simulink, and Computer Algebra System
• RuleBasePE
• SysML
• Applying software model checking techniques for behavioral UML models

This page was built for software: Rhapsody