Login / Signup
ASSL - Autonomic System Specification Language.
Emil Vassev
Joey Paquet
Published in:
SEW (2007)
Keyphrases
</>
specification language
formal specification
programming language
description language
autonomic systems
symbolic execution
software environment
autonomic computing
expert systems
requirements specification
high level
general purpose
model checking