Login / Signup
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model.
Nadia Chabbat
Djamel-Eddine Saïdouni
Radja Boukharrou
Salim Ghanemi
Published in:
Comput. Informatics (2020)
Keyphrases
</>
real time
high level
computational model
formal verification
specification language
probabilistic model
metamodel
model driven
reinforcement learning
probability distribution
programming language
conceptual model