Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays /

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays /

57

Bibliographic Details
Main Authors: Jones, Cliff B., Liu, Zhiming, Woodcock, Jim, SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Formal methods (Computer science)
Real-time data processing
Online Access:http://dx.doi.org/10.1007/978-3-540-75221-9

Similar Items

Similar Items