文献

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)

タイトルに関連する用語 (4件)： 研究 ,  鉄道 ,  電子連動装置 ,  形式的検証