Design and Test Strategies for a Safety-Critical Embedded Executive.

Charles A. Meyer Michael G. Reznick

Published in: TRI-Ada (1996)

Keyphrases

embedded systems
safety critical
experimental design
formal methods
decision making
low cost
data mining
case study
health care