Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
Author :
Publisher : Springer
Total Pages : 551
Release :
ISBN-10 : 9783540752219
ISBN-13 : 3540752218
Rating : 4/5 (19 Downloads)

Book Synopsis Formal Methods and Hybrid Real-Time Systems by : Cliff B. Jones

Download or read book Formal Methods and Hybrid Real-Time Systems written by Cliff B. Jones and published by Springer. This book was released on 2007-09-04 with total page 551 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.


Formal Methods and Hybrid Real-Time Systems Related Books