文献
J-GLOBAL ID：201602236545027410   整理番号：14A0111393

Modeling and Analysis of Railway Crossing Based on Differential Dynamic Logic

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (2件)：
Qian Lei

Qian Lei について

(Shanghai Key Lab. of Trustworthy Computing, East China Normal Univ., Shanghai)

Shanghai Key Lab. of Trustworthy Computing, East China Normal Univ., Shanghai について

, 
Yu Wensheng

Yu Wensheng について

(Shanghai Key Lab. of Trustworthy Computing, East China Normal Univ., Shanghai)

Shanghai Key Lab. of Trustworthy Computing, East China Normal Univ., Shanghai について


資料名：
Jisuanji Kexue  (Jisuanji Kexue)

Jisuanji Kexue について


巻： 40  号： 10  ページ： 231-234  発行年： 2013年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
発行国： 中国 (CHN)  言語： 中国語 (ZH)

前のページに戻る

TOP

BOTTOM