This book presents thoroughly revised tutorial papers based on
lectures given by leading researchers at the International Training
School on Domain Modeling and the Duration Calculus, held in
Shanghai, China, as an associated event of ICTAC 2007. Topics
addressed in detail are: development of real-time systems, domain
engineering using abstract modeling, the area of duration calculus,
and formal methods like language description using the operational
semantics approach.
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!