Specification and verification of a safty shell with statcharts and extended timed graphs

J van Katwijk, WJ Toetenel, AEK Sahaoui, E Anderson, J Zalewski

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

8 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationSAFECOMP 2000 proceedings
Editors F Koornneef, van der M Meulen
Place of PublicationBerlin
PublisherSpringer
Pages37-52
Number of pages16
ISBN (Print)3-540-41186-0
Publication statusPublished - 2000
Event19th International Conference SAFECOMP 2000, Rotterdam - Berlin
Duration: 24 Oct 200027 Oct 2000

Publication series

Name
PublisherSpringer

Conference

Conference19th International Conference SAFECOMP 2000, Rotterdam
Period24/10/0027/10/00

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this

van Katwijk, J., Toetenel, WJ., Sahaoui, AEK., Anderson, E., & Zalewski, J. (2000). Specification and verification of a safty shell with statcharts and extended timed graphs. In F Koornneef, & V. D. M Meulen (Eds.), SAFECOMP 2000 proceedings (pp. 37-52). Springer.