Login / Signup
Formal Semantics of Synchronous SystemC.
Ashraf Salem
Published in:
DATE (2003)
Keyphrases
</>
formal semantics
modelling language
er model
formal language
logical language
first order logic
modeling language
operational semantics
logical reasoning
speech acts
ontology languages
owl dl ontology
database
case study
data types
data exchange