Login / Signup
Towards Efficient Use of Shared Communication Media in the Timed Model.
Guido Menkhaus
Michael Holzmann
Sebastian Fischmeister
Claudiu Farcas
Published in:
IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Keyphrases
</>
formal model
high level
statistical model
mathematical model
computational model
case study
sensitivity analysis
experimental data
theoretical analysis
probabilistic model
em algorithm
access control
input data
management system
mobile devices
expert systems
database