Chaochen: Chaochen Zhou, Michael R. Hansen - Duration Calculus: A Formal Approach to Real-Time Systems

Book123, Download eBooks for Free - Anytime!

Archive by Date

2012-08-06
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28

Results Chaochen Ebook : 1 to 2 of 2

Chaochen

Free Download, Unlimited Speed. Download now at an incredible speed!

Sponsored links

	Chaochen Zhou, Michael R. Hansen - Duration Calculus: A Formal Approach to Real-Time Systems
	Chaochen Zhou, Michael R. Hansen - Duration Calculus: A Formal Approach to Real-Time SystemsPublisher: Springer; 2004-02-12; ISBN: 3540408231; PDF; 247 pages; 68.68 MBThe Duration Calculus (DC) represents a logical approach to formal d ... Tags : Calculus Duration Approach Hansen Michael , Posted on 2010-07-31

	Programming Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th
	Cliff B. Jones, Zhiming Liu, Jim Woodcock "Formal Methods and Hybrid Real-Time Systems:Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays " Springer; 2007-11-09; ISBN:354075220X; 539 pages; PDF ... Tags : Honour Occasion Hybrid Bjorner Chaochen , Posted on 2010-03-15