MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.

Wang Yi Morteza Mohaqeqi Susanne Graf

Published in: CoRR (2020)

Keyphrases

real time systems
architectural model
computational model
conceptual model
design process
real time
probabilistic model
scheduling problem
open source
distributed systems
information processing
model driven