Proceedings of JSPE Semestrial Meeting
2004 JSPE Autumn Meeting
Session ID : A18
Conference information

Host: The Japan Society of Precision Engineering

Formal description technique and behaviour verification for warly design stage of embeded system
*Yoshihito Kikuchi, Takeshi Kishinami, Satoshi Kanai
Author information
Keywords: Algebraic specification, Graphic User Interface, Automatic validation
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Download PDF (107K)
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