Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays.

DOI10.1007/978-3-540-75221-9MaRDI QIDQ2472178zbMATH OpenOpenAlexFDO

Authors

Publication date 20 February 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9--12, 2002. Proceedings.
• Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures.

Describes a project that uses

Uses Software

• Handel-C

This page was built for publication: Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472178)