Formal Semantics of AADL Models with Machine-Readable CSP.

Chunxin Yang Yunwei Dong Fan Zhang Ehsan Ahmad Bin Gu

Published in: ACIS-ICIS (2012)

Keyphrases

formal semantics
modelling language
probabilistic model
case study
open source
logical reasoning
databases
search space
object oriented
constraint satisfaction problems
formal language