Specification and verification of a safty shell with statcharts and extended timed graphs
Conference Paper
(2000)
Author(s)
J van Katwijk (TU Delft - Electrical Engineering, Mathematics and Computer Science)
WJ Toetenel (TU Delft - Electrical Engineering, Mathematics and Computer Science)
AEK Sahaoui (External organisation)
E Anderson (External organisation)
J Zalewski (External organisation)
Research Group
Software Engineering
To reference this document use
https://resolver.tudelft.nl/uuid:35bab287-f640-4603-ab9c-7caa80200bf3
More Info
expand_more
expand_more
Publication Year
2000
Research Group
Software Engineering
Pages (from-to)
37-52
Publisher
Springer
ISBN (print)
3-540-41186-0
Event
19th International Conference SAFECOMP 2000, Rotterdam (2000-10-24 - 2000-10-27), Berlin
Downloads counter
81
No files available
Metadata only record. There are no files for this record.