책 이미지
eBook 미리보기
책 정보
· 제목 : The Theory of Timed I/O Automata, Second Edition (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783031008757
· 쪽수 : 123쪽
· 출판일 : 2010-11-29
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783031008757
· 쪽수 : 123쪽
· 출판일 : 2010-11-29
목차
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.
