Parameter synthesis for hierarchical concurrent real-time systems

• Main Authors: Andre, E., Liu, Y., Sun, J., Dong, J.-S.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2014
• Subjects: CSP; model checking; parametric timed verification; refinement; robustness
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/78278
• Institution: National University of Singapore

10.1109/ICECCS.2012.29