책 이미지
eBook 미리보기
책 정보
· 제목 : Duration Calculus: A Formal Approach to Real-Time Systems (Hardcover, 2004)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 이산수학
· ISBN : 9783540408239
· 쪽수 : 250쪽
· 출판일 : 2003-12-04
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 이산수학
· ISBN : 9783540408239
· 쪽수 : 250쪽
· 출판일 : 2003-12-04
목차
1. Introduction.- 2. Interval Logic.- 3. Duration Calculus.- 4. Deadline-Driven Scheduler.- 5. Relative Completeness.- 6. Decidability.- 7. Undecidability.- 8. Model Checking: Linear Duration Invariants.- 9. State Transitions and Events.- 10. Superdense State Transitions.- 11. Neighborhood Logic.- 12. Probabilistic Duration Calculus.- References.- Abbreviations.- Symbol Index.
