SAFEFLOW
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
Abandoned · May 4, 2004 · 78412805 ·