Modeling and Verification of Infinite Systems with Resources.

Martin Lang Christof Löding

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

neural network
real time
knowledge based systems
machine learning
expert systems
management system
distributed systems
intelligent systems
resource management
modeling language
formal methods
hardware designs