Login / Signup

Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model.

Celso A. S. SantosJean-Pierre CourtiatLuiz Fernando Gomes SoaresGuido L. De Souza
Published in: MMM (1998)
Keyphrases
  • formal specification
  • conceptual model
  • high level
  • process algebra
  • cooperative
  • model checking
  • multi agent
  • probabilistic model
  • hierarchical structure
  • machine learning
  • information retrieval
  • specification language