Login / Signup

Formal Specification of Domain-Specific ECA Policy Models.

Raphael RomeikatBernhard Bauer
Published in: TASE (2011)
Keyphrases
  • formal specification
  • domain specific
  • general purpose
  • specification languages
  • formal methods
  • object oriented design
  • artificial intelligence
  • cooperative
  • model checking
  • temporal logic
  • concurrent systems