文献

J-GLOBAL ID：201102249391390841   整理番号：11A0525402

時間付きI/Oオートマトンを使用したリアルタイムシステムの仕様に関する方法論

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

著者 (5件)： DAVID Alexandre (Aalborg Univ., DNK) ,  LARSEN Kim G. (Aalborg Univ., DNK) ,  LEGAY Axel (INRIA, Rennes, FRA) ,  NYMAN Ulrik (Aalborg Univ., DNK) ,  WASOWSKI Andrzej (IT Univ., Copenhagen, DNK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6286  ページ： 290-310  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： オートマトン ,  リアルタイムシステム ,  仕様 ,  方法論