From LOTOS to LNT.

Hubert Garavel Frédéric Lang Wendelin Serwe

Published in: ModelEd, TestEd, TrustEd (2017)

Keyphrases

temporal ordering
constraint propagation
artificial intelligence
data management
machine learning
dynamic programming
temporal logic
formal specification language