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

researchr

You are not signed in
Sign in
Sign up

Giovanni Cantone. Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems. In Wolfgang A. Halang, Alexander D. Stoyenko, editors, Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. Volume 127 of NATO ASI Series, pages 325-345, Springer, 1992. [doi]

This author has not been identified. Look up 'Giovanni Cantone' in Google

runs on WebDSL