78412805
May 4, 2004
Software which helps developers create safe, powerful, and formal finite state machine descriptions within the Simulink environment to enable a seamless flow from algorithms design within Simulink to safe, embeddable software within the SCADE environment
Electrical and Scientific Apparatus