C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An ocarina extension for AADL formal semantics generation.
Hana Mkaouar
Bechir Zalila
Jérôme Hugues
Mohamed Jmaiel
Published in:
SAC (2018)
Keyphrases
</>
formal semantics
logical language
first order logic
modelling language
generation method
er model
operational semantics
logical reasoning
formal language
modeling language
high level
databases
test cases
owl dl ontology