A Novel Approach to Modechart Verification of Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Fiedor, Marek Gach, Milan Ceska. A Novel Approach to Modechart Verification of Real-Time Systems. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I. Volume 6927 of Lecture Notes in Computer Science, pages 559-567, Springer, 2011. [doi]

This author has not been identified. Look up 'Jan Fiedor' in GoogleThis author has not been identified. Look up 'Marek Gach' in GoogleThis author has not been identified. Look up 'Milan Ceska' in Google

runs on WebDSL