文献
J-GLOBAL ID:201202210995338957
整理番号:12A1574207
ハイブリッドCSPのための仮定/保証に基づく構成計算
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
著者 (3件):
WANG Shuling
(Inst. of Software, Chinese Acad. of Sci., CHN)
,
ZHAN Naijun
(Inst. of Software, Chinese Acad. of Sci., CHN)
,
GUELEV Dimitar
(Inst. of Mathematics and Informatics, Bulgarian Acad. of Sci., BGR)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7287
ページ:
72-83
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)