Windows 7 » Разное » Duration Calculus A Formal Approach to Real-Time Systems

Duration Calculus A Formal Approach to Real-Time Systems

Автор: Bo0mB0om » 5 марта 2016
Duration Calculus A Formal Approach to Real-Time Systems
Chaochen Zhou, Michael Hansen, "Duration Calculus: A Formal Approach to Real-Time Systems"
2004 | pages: 252 | ISBN: 3540408231, 3642074049 | PDF | 3,9 mb



A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).


DOWNLOAD
(Buy premium account for maximum speed and resumming ability)





Перед тем как скачать Duration Calculus A Formal Approach to Real-Time Systems бесплатно, без смс, регистрации, на халяву, через торрент, рекомендуем прочитать отзывыо Duration Calculus A Formal Approach to Real-Time Systems.

Другие новости по теме:
  • Muscle Aging, Inclusion-Body Myositis and Myopathies
    Muscle Aging, Inclusion-Body Myositis and Myopathiesby Valerie Askanas, W. King EngelEnglish | 2012 | ISBN: 1405196467 | 262 pages | PDF | 3.32 MB
  • Photo Effects #3 - More Visual Effects 4.0.0 160305
    Photo Effects #3 - More Visual Effects 4.0.0 160305[center]Photo Effects #3 - More Visual Effects 4.0.0 | MacOSX | 7 MBTurn any picture in to a work of art. Supports 18 different effects. Effects
  • Dump Dinner Recipes
    Dump Dinner Recipes: 50 Delicious and Easy To Prepare Dump Dinner Recipes That Your Family Will Enjoy by Margaret WoodsonEnglish | May 21, 2015 | ASIN: B00Y3J2ARU | 79 Pages | EPUB/MOBI | 634.06 KB
  • Murray Dickson, Where There Is No Dentist
    Murray Dickson, "Where There Is No Dentist"Publisher: Hesperian | 2010 | ISBN: 0942364058 | English | PDF | 240 pages | 6.3 MbCommunity health workers, educators and individuals from around the world
  • SpeedTree Cinema v7.0.7 (Win/Mac)-XFORCE 160305
    SpeedTree Cinema v7.0.7 (Win/Mac)-XFORCE 160305[center]SpeedTree Cinema v7.0.7 (Win/Mac)-XFORCE | 333 / 224Withthe release of version 7, SpeedTree Cinema deliver a powerful newfeature set for