Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems

G. Cantone
DOI: https://doi.org/10.1007/978-3-642-88049-0_16
Abstract:
What problem does this paper attempt to address?