Formal specification of a safety shell in real-time control practice
Conference Paper
(2000)
Author(s)
A-E-K Sahraoui (External organisation)
E Anderson (External organisation)
Jan van Katwijk (TU Delft - Software Engineering)
J Zalewski (External organisation)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:be8fd3ae-441d-4c86-845c-908a4ab91c04
More Info
expand_more
expand_more
Publication Year
2000
Research Group
Software Engineering
Pages (from-to)
117-123
No files available
Metadata only record. There are no files for this record.