A discrete time model for performance evaluation and correctness verification of real time systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giacomo Bucci, Luigi Sassoli, Enrico Vicario. A discrete time model for performance evaluation and correctness verification of real time systems. In Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003. pages 134-143, IEEE, 2003. [doi]

This author has not been identified. Look up 'Giacomo Bucci' in GoogleThis author has not been identified. Look up 'Luigi Sassoli' in GoogleThis author has not been identified. Look up 'Enrico Vicario' in Google

runs on WebDSL