Formal Verification of the Implementability of Timing Requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiayong Hu, Mark Lawford, Alan Wassyng. Formal Verification of the Implementability of Timing Requirements. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 119-134, Springer, 2008. [doi]

This author has not been identified. Look up 'Xiayong Hu' in GoogleThis author has not been identified. Look up 'Mark Lawford' in GoogleThis author has not been identified. Look up 'Alan Wassyng' in Google

runs on WebDSL