Proceedings of JSPE Semestrial Meeting
2003 JSPE Spring Meeting
Session ID : I36
Conference information

Host: The Japan Society of Precision Engineering

Formal Description Technique and Behaviour Verification for Early Design Stage of Embeded System
*Yoshihito KIKUCHI, Satoshi KANAI, Takeshi KISHINAMI
Author information
Keywords: Formal Description Technique, Axiom System, Embeded System, Behaviour Modeling
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Download PDF (235K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract
[in Japanese]
Content from these authors
© 2003 The Japan Society for Precision Engineering
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top