An approach towards formal verification of object-oriented real-time systems
Conference Paper
(1999)
Author(s)
RCM de Rooij (TU Delft - Software Engineering)
Jan van Katwijk (TU Delft - Software Engineering)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:8d875c1e-3437-4a9a-9399-0a708aed63cc
More Info
expand_more
expand_more
Publication Year
1999
Research Group
Software Engineering
Pages (from-to)
474-483
ISBN (print)
0-7695-0306-3
No files available
Metadata only record. There are no files for this record.