An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems (Extended Version)

Philip S. Kurtin, Marco J.G. Bekooij

Research output: Book/Report › Report › Academic

126 Downloads (Pure)

1 Article

1 results

2017
An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems
Kurtin, P. S. & Bekooij, M. J. G., 1 Sept 2017, In: ACM transactions on embedded computing systems. 16, 5s, p. 173:1-173:20 20 p., 173.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
5 Citations (Scopus)

37 Downloads (Pure)