Formal Modeling and Analysis of Timed Systems: First...

Buy Formal Modeling and Analysis of Timed Systems: First... here, one of many AIX books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > AIX > Item 430

	Formal Modeling and Analysis of Timed Systems: First...
	by Kim G. Larsen and Peter Niebert Sales Rank: 4797861	$63.00 At Amazon on 10-7-2008.

*Features* Cover Type: Paperback with 281 pages Published by: Springer Edition: 1st Edition June 24, 2004 Written in: English ISBN 10 Number: 3540216715 ISBN 13 Number: 978-3540216711 Book Dimensions: 9.2 x 6.1 x 0.6 inches Weighs: 15.2 ounces *Product Description* This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems. Back To Top
Formal Modeling and Analysis of Timed Systems: First... ~~List Price: $63.00~~ Available from Amazon Price: $63.00 Updated on 10-7-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Formal Modeling and Analysis of Timed Systems: First... and other related AIX Books here at Rbookshop.com. To view more books about AIX please use the previous and next buttons near the top of this page.