SAFEFLOW
Mark Identification

SAFEFLOW

Serial Number

78412805

Filing Date

May 4, 2004

Trademark by

ESTEREL TECHNOLOGIES

Classification Information

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