Login / Signup

Formal support for the ELLA hardwar description language.

Howard BarringerGraham GoughBrian MonahanAlan R. Williams
Published in: CHARME (1995)
Keyphrases
  • description language
  • software architecture
  • web services
  • specification language
  • action language
  • information retrieval
  • mobile robot
  • description languages
  • optimal solution
  • heuristic search
  • formal specification