A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing.

Dan Yu Shilong Ma

Published in: SSIRI (Companion) (2011)

Keyphrases

safety critical
formal methods
safety analysis
low cost
real time
artificial intelligence
multi agent
learning process
intelligent systems
medical diagnosis