Towards a Maude Formal Environment.

Francisco Durán Camilo Rocha José María Álvarez

Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)

Keyphrases

formal specification
real time
mobile robot
database
machine learning
database systems
dynamic environments
robotic systems
indoor environments
environmental conditions