Proceedings of JSPE Semestrial Meeting
2004 JSPE Spring Meeting
Session ID : C74
Conference information

Host: The Japan Society of Precision Engineering

Formal description technique and behaviour verification for warly design stage of embeded system
*Yoshihito Kikuchi, Satoshi Kanai, Takeshi Kishinami
Author information
Keywords: Algebraic specification description, bahaviour modeling, embeded system, axiom system
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Download PDF (95K)
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
© 2004 The Japan Society for Precision Engineering
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top