Sign in

Formal Semantics of the ProCom Real-Time Component Model.

Aneta VulgarakisJagadish SuryadevaraJan CarlsonCristina Cerschi SeceleanuPaul 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