PublicationsDomestic

Short Papers and Extended Abstracts in Proceedings (in Japanese)

Satoshi Yoshida, Satoshi Koike, Izumi Takeuchi and Hitoshi Ohsaki:
Diagramic Notation - AIST/CVS Project Report.
(図示記法 – システム検証研究センタープロジェクト紹介)
In proceedings of 5th Workshop on Dependable Systems (DSW'07), July 2007.
Draft available as Technical Report AIST–PS–2008–002, pp. 171–173, AIST, 2008.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html