• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The Maude Formal Tool Environment.

Manuel ClavelFrancisco DuránJoe HendrixSalvador LucasJosé MeseguerPeter Csaba Ölveczky
Published in: CALCO (2007)
Keyphrases
  • formal specification
  • virtual world
  • real time
  • mobile robot
  • machine learning
  • dynamic environments
  • environmental conditions
  • neural network
  • data structure
  • user friendly
  • computing environments
  • agent model