Login / Signup

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.

Marco BernardoEdoardo BontàAlessandro Aldini
Published in: J. Syst. Softw. (2010)
Keyphrases
  • description languages
  • knowledge base
  • domain knowledge
  • software engineering
  • context aware
  • fine grained
  • model checking
  • description language