© 1996-2019







4.4 Books

[148]

Ernst-Rüdiger Olderog and Henning Dierks. REAL-TIME SYSTEMS: Formal Specification and Automatic Verification. Cambridge University Press, 2008.

[149]

Valentin Goranko and Angelo Montanari, eds. Special issue on Interval Temporal Logics and Duration Calculi. Vol. 14. Journal of Applied Non-Classical Logics 1–2. Lavoisier, 2004.
url: http://www.tandfonline.com/toc/tncl20/14/1-2.

[150]

Chaochen Zhou and Michael R. Hansen. Duration Calculus: A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science (An EATCS series). Springer Verlag, 2004.

[151]

Jonathan Bowen, ed. Towards Verified Systems. Vol. 2. Real-Time Safety Critical Systems. Amsterdam: Elsevier Science B.V. (North–Holland), 1994. isbn: 978-0-444-89901-9.
url: http://www.sciencedirect.com/science/bookseries/15725960/2.

[152]

Ben Moszkowski. Executing Temporal Logic Programs. Download pdf. Cambridge, England: Cambridge University Press, 1986.







2019-03-16
Contact | Home | ITL home | Course | Proofs | Algebra | FL