A discrete time model for performance evaluation and correctness verification of real time systems.

Giacomo Bucci Luigi Sassoli Enrico Vicario

Published in: PNPM (2003)

Keyphrases

real time systems
computational model
mobile devices
scheduling problem
supply chain
information processing
conceptual model