The Role of Formal Methods and Algorithms in Real-Time Computing.

Fabio Alberto Schreiber

Published in: NATO ASI RTC (1992)

Keyphrases

real time
formal methods
low cost
data structure
database
computational complexity
control system
model checking
provably correct
learning algorithm
artificial intelligence
fine grained
formal analysis