78412813
May 4, 2004
Nov 29, 2005
Computer software that ceates executable specifications, formal proof and automatically generated code, and is used by developers to create embedded software used for critical functions in automobiles and other transportation devices like braking systemns and restraint systems
Electrical and Scientific Apparatus