Can I read Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays on EtoBox?

Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays by Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) is a nonfiction available to read on EtoBox.

What is Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays about?

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007. 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, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic. Dines Bjørner is known for his many contributions to the theory and practice of formal methods for software engineering with special focus on abstraction and modelling, specification of systems and languages, and domains, requirements, and software design. Zhou Chaochen is known for his seminal contributions to the theory and practice of timed and hybrid systems.

Who reads Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays?

Author

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Publisher

Springer-Verlag Berlin Heidelberg

Published

2007

Language

EN

ISBN

9783540752219

Category

nonfiction

Subjects

Engineering, Mathematics, Computer Science