Login / Signup
Formal Specification of Domain-Specific ECA Policy Models.
Raphael Romeikat
Bernhard 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