책 이미지
eBook 미리보기
책 정보
· 제목 : Theory of Timed I/O Automata (Paperback, 2, Revised)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9781608450022
· 쪽수 : 138쪽
· 출판일 : 2010-12-06
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9781608450022
· 쪽수 : 138쪽
· 출판일 : 2010-12-06
목차
- Introduction
- Mathematical Preliminaries
- Describing Timed System Behavior
- Timed Automata
- Operations on Timed Automata
- Properties for Timed Automata
- Timed I/O Automata
- Operations on Timed I/O Automata
- Conclusions and Future Work
