This book constitutes the refereed proceedings of the 7th
International Conference on Formal Modeling and Analysis of Timed
Systems, FORMATS 2009, held in Budapest, Hungary, September
2009.
The 18 revised full papers presented together with 4 invited
talks were carefully reviewed and selected from 40 submissions. The
aim of FORMATS is to promote the study of fundamental and practical
aspects of timed systems, and to bring together researchers from
different disciplines that share interests in the modelling and
analysis of timed systems.Typical topics include (but are not
limited to): Foundations and Semantics. Theoretical foundations of
timed systems and languages; comparison between different models
(timed automata, timed Petri nets, hybrid automata, timed process
algebra, max-plus algebra, probabilistic models), methods and
Tools. Techniques, algorithms, data structures, and software tools
for analyzing timed systems and resolving temporal constraints
(scheduling, worst-case execution time analysis, optimization,
model checking, testing, constraint solving, etc.), applications.
Adaptation and specialization of timing technology in application
domains in which timing plays an important role (real-time
software, hardware circuits, and problems of scheduling in
manufacturing and telecommunication).
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
