Methods and Languages for Safety-Related Real-Time Programming.

Wolfgang A. Halang Alceu Heinke Frigeri

Published in: SAFECOMP (1998)

Keyphrases

real time
artificial intelligence
database
empirical studies
expressive power
machine learning methods
computer programming
methods require
databases
social networks
image processing
preprocessing
control system
significant improvement
safety critical