| Kokichi FUTATSUGI
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Specification and Verification of a Single-Track Railroad Signaling in CafeOBJ Takahiro SEINO Kazuhiro OGATA Kokichi FUTATSUGI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/06/01
Vol. E84-A
No. 6
pp. 1471-1478
Type of Manuscript:
Special Section PAPER (Special Section on Papers Selected from 2000 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000)) Category: Keyword: CafeOBJ, formal method, railroad signaling, | | Summary | Full Text:PDF | |
|
|
|
|