Journal of The Society of Instrument and Control Engineers

All issues

Predecessor

Volume 48, Issue 11

Displaying 1-15 of 15 articles from this issue

Download citation

Show all abstracts

Mini Special Issue Formal Verification Technologies for the Development of Dependable Systems

Survey

Mathematics of Formal Verification Technology—Towards Building Safe and Trustworthy Systems

Kunihiko HIRAISHI

2009Volume 48Issue 11 Pages 793-796
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.793

JOURNAL FREE ACCESS

Download PDF (332K)

Review

A Gentle Introduction to Model Checking

Tatsuhiro TSUCHIYA, Tohru KIKUNO

2009Volume 48Issue 11 Pages 797-802
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.797

JOURNAL FREE ACCESS

Download PDF (407K)
Formal Verification of Real-Time Systems using Timed Automata

Akio NAKATA

2009Volume 48Issue 11 Pages 803-809
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.803

JOURNAL FREE ACCESS

Download PDF (1095K)
Formal Method Using Hybrid Automata in Embedded Systems

Satoshi YAMANE

2009Volume 48Issue 11 Pages 810-815
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.810

JOURNAL FREE ACCESS

Download PDF (871K)
Verification of Realtime Systems based on Algebraic Specifications

Kazuhiro OGATA

2009Volume 48Issue 11 Pages 816-821
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.816

JOURNAL FREE ACCESS

Download PDF (527K)
Verification of Diagnosability for Discrete Event Systems

Shigemasa TAKAI

2009Volume 48Issue 11 Pages 822-827
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.822

JOURNAL FREE ACCESS

Download PDF (402K)
Introduction of Model Checking to Software Development Fields

Koichi SHINOZAKI, Koji HAYAMIZU

2009Volume 48Issue 11 Pages 828-833
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.828

JOURNAL FREE ACCESS

Download PDF (1161K)

Technical Report

Face Detection and Recognition Technology using Harr-like Features

Kazuo HASHIMA, Kazuhiro EDAZAWA, Masahito MATSUSHITA, Shotaro MIWA, Hi ...

2009Volume 48Issue 11 Pages 834-837
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.834

JOURNAL FREE ACCESS

Download PDF (726K)

Conference Report

Organized Session Report on International Standardization Activities in ICCAS-SICE 2009

Kazuo SEO

2009Volume 48Issue 11 Pages 838
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.838

JOURNAL FREE ACCESS

Download PDF (223K)
Asia-Pacific Symposium on Measurement of Mass, Force and Torque (APMF 2009)

Toshiyuki HAYASHI

2009Volume 48Issue 11 Pages 839
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.839

JOURNAL FREE ACCESS

Download PDF (271K)

Division Report

Introduction to Technical Committee on Discrete Event Systems

Koichi KOBAYASHI

2009Volume 48Issue 11 Pages 840
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.840

JOURNAL FREE ACCESS

Download PDF (176K)

Book Review

[title in Japanese]

Shigeru KUROSU

2009Volume 48Issue 11 Pages 841
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.841_1

JOURNAL FREE ACCESS

Download PDF (5909K)
[title in Japanese]

Yasue MITSUKURA

2009Volume 48Issue 11 Pages 841
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.841_2

JOURNAL FREE ACCESS

Download PDF (5909K)

SICE Column

[title in Japanese]

2009Volume 48Issue 11 Pages 842
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.842

JOURNAL FREE ACCESS

Download PDF (303K)

Editorial Essay

Editorial Essay

Shinji KITAGAWA

2009Volume 48Issue 11 Pages 843
Published: November 10, 2009
Released on J-STAGE: May 10, 2022

DOIhttps://doi.org/10.11499/sicejl.48.843

JOURNAL FREE ACCESS

Download PDF (5095K)

Register with J-STAGE for free!