Login / Signup
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
Luca Aceto
Matteo Cimini
Anna Ingólfsdóttir
Arni Hermann Reynisson
Steinar Hugi Sigurdarson
Marjan Sirjani
Published in:
FOCLASA (2011)
Keyphrases
</>
real time systems
timed automata
distributed systems
real time
embedded systems
real time database systems
discrete event
simulation model
mission critical
petri net
timing constraints
architectural model
object oriented programming language
artificial intelligence
case study
embedded real time systems