5.4 Books


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


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.


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.


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.


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

Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024