Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski. Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. In Floor Koornneef, Meine van der Meulen, editors, Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Volume 1943 of Lecture Notes in Computer Science, pages 37-52, Springer, 2000. [doi]

This author has not been identified. It may be one of the following persons:

Jan van Katwijk

Look up 'Jan van Katwijk' in GoogleThis author has not been identified. Look up 'Hans Toetenel' in GoogleThis author has not been identified. Look up 'Abd-El-Kader Sahraoui' in GoogleThis author has not been identified. Look up 'Eric Anderson' in GoogleThis author has not been identified. Look up 'Janusz Zalewski' in Google

runs on WebDSL