Verifying ET-LOTOS programmes with KRONOS.

Conrado Daws Alfredo Olivero Sergio Yovine

Published in: FORTE (1994)

Keyphrases

formal specification language
temporal logic
formal specification
formal methods
model checking
technology enhanced
higher education
m learning
lifelong learning
temporal ordering
data mining
cooperative
feature space
search space
constraint propagation
corporate training