U.S. federal trademark · Serial No. 78630347 · Reg. No. 3232478
Computer software for the specification, modeling, simulation and automatic code generation of state machine and automaton-based software
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.