Tool Interoperability in the Maude Formal Environment.

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

Published in: CALCO (2011)

Keyphrases

formal specification
software environment
mobile robot
formal model
web environment
real time
decision making
metadata
collaborative learning
dynamic environments
robotic systems
information integration
mathematical theory