|
|
JAIST Repository >
著者: "Seino, Takahiro"
3 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Jun-2001 | Specification and verification of a single-track railroad signaling in CafeOBJ | SEINO, Takahiro; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 21-Sep-2005 | A Lightweight Integration of Theorem Proving and Model Checking for System Verification | Kong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 22-Sep-2009 | A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method | Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
|
