Industrial-Strength Model-Based Testing of Safety-Critical Systems.

Jan Peleska Wen-ling Huang

Published in: FM (2016)

Keyphrases

safety critical
industrial strength
formal methods
fault tolerant
safety analysis
embedded systems
support systems
real time
agent architecture
text mining
database systems