MOSEL: A Sound and Efficient Tool for M2L(Str).

Peter Kelb Tiziana Margaria Michael Mendler Claudia Gsottberger

Published in: CAV (1997)

Keyphrases

cost effective
multi agent systems
real time
machine learning
information systems
search algorithm
computational complexity
expert systems
computationally expensive
highly efficient