Safety validation of embedded control software using Z animation.

Brenton Atchison Peter A. Lindsay

Published in: HASE (2000)

Keyphrases

control software
control system
safety analysis
data sets
decision trees
case study
computer graphics
computer vision
expert systems
intelligent systems
safety critical