Login / Signup
Formal Semantics of the ProCom Real-Time Component Model.
Aneta Vulgarakis
Jagadish Suryadevara
Jan Carlson
Cristina Cerschi Seceleanu
Paul Pettersson
Published in:
EUROMICRO-SEAA (2009)
Keyphrases
</>
formal semantics
real time
artificial intelligence
probabilistic model
logical reasoning
case study
relational databases
probability distribution
conceptual model
modelling language