U.S. federal trademark · Serial No. 78412805
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
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.