文献
J-GLOBAL ID:200902151325427787
整理番号:99A0611580
事例研究:鉄道の電子連動装置の形式的検証
Case Study: Formal Verification of a Computerized Railway Interlocking.
著者 (1件):
BORAELV A
(Prover Technol., Stockholm, SWE)
資料名:
Formal Aspects of Computing
(Formal Aspects of Computing)
巻:
10
号:
4
ページ:
338-360
発行年:
1998年
JST資料番号:
T0973A
ISSN:
0934-5043
資料種別:
逐次刊行物 (A)
発行国:
ドイツ (DEU)
言語:
英語 (EN)