文献

J-GLOBAL ID：200902253260123634   整理番号：05A0466577

持続計算:Bに対する実時間セマンティック

Duration Calculus: A Real-Time Semantic for B

著者 (3件)： COLIN Samuel (INRETS, Villeneuve d’Ascq, FRA) ,  MARIANO Georges (INRETS, Villeneuve d’Ascq, FRA) ,  POIRRIEZ Vincent (LAMIH, CNRS, Valenciennes, FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3407  ページ： 431-446  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 計算 ,  実時間