Specification and Validation of a Simple Overtaking Protokol using LOTOS.

Patrik Ernberg Lars-Åke Fredlund Bengt Jonsson

Published in: FORTE (1991)

Keyphrases

machine learning
user defined
real time
data mining
digital libraries
expert systems
provably correct
temporal ordering