Journal of The Society of Instrument and Control Engineers
Online ISSN : 1883-8170
Print ISSN : 0453-4662
ISSN-L : 0453-4662
Review
Introduction of Model Checking to Software Development Fields
Koichi SHINOZAKI, Koji HAYAMIZU
Author information
Keywords: model checking, application, case study, education, body of knowledge
JOURNAL FREE ACCESS

2009 Volume 48 Issue 11 Pages 828-833

Details
Download PDF (1161K)
Download citation RIS

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

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 2009 The Society of Instrument and Control Engineers
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Journal of the Instrument Technology, Japan

Automatic Control

Share this page
feedback
 Top