78181644
Nov 5, 2002
Computer software for creating embedded software used for critical functions like autopilots and braking systems for planes and to create executable specifications, formal tests, and automatically generated code
Electrical and Scientific Apparatus