IEICE ESS Fundamentals Review
Online ISSN : 1882-0875
ISSN-L : 1882-0875
Proposed by CST
Formal Specification and Verification of Hybrid Systems in Formal Methods
Satoshi YAMANE
Author information
JOURNAL FREE ACCESS

2008 Volume 2 Issue 1 Pages 1_22-1_34

Details
Download PDF (1017K)
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
© 2008 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top