|
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 |
|