책 이미지
eBook 미리보기
책 정보
· 제목 : Real-time Systems : Formal Specification and Automatic Verification (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 네트워킹 > 일반
· ISBN : 9780521883337
· 쪽수 : 338쪽
· 출판일 : 2008-09-11
· 분류 : 외국도서 > 컴퓨터 > 네트워킹 > 일반
· ISBN : 9780521883337
· 쪽수 : 338쪽
· 출판일 : 2008-09-11
목차
Preface; 1. Introduction; 2. Duration calculus ; 3. Properties and subsets of DC; 4. Timed automata; 5. PLC-automata; 6 Automatic verification; Appendix; Notations; Bibliography; Index.
