JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "SEINO, Takahiro"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 3 items.

Date of Issue	Title	Authors
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

Contact : JAIST Library (ir-sys[at]ml.jaist.ac.jp)