Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?

David N. Jansen Holger Hermanns

Published in: QEST (2004)

Keyphrases

ambient intelligence
complex systems
cost effective
wireless communication
database
artificial neural networks
databases
web pages
metadata
video sequences
expert systems
np complete
software systems