Esterel Technologies, Inc. Trademarks
SCADE DRIVE
Computer software that ceates executable specifications, formal proof and automatically generated code, and is used by developers…
Owned by: Esterel Technologies, Inc.
Serial Number: 78412813
ESTEREL
Downloadable compiler software
Owned by: Esterel Technologies, Inc.
Serial Number: 78629733
SCADE SYSTEM
Computer software development tools; Computer software platforms for creating embedded software used for critical functions…
Owned by: Esterel Technologies, Inc.
Serial Number: 85189440
SCADE ARINC 661
Computer software development tools; Computer software for use in avionics and cockpit display systems
Owned by: Esterel Technologies, Inc.
Serial Number: 85245675
