Proceedings of JSPE Semestrial Meeting
2018 JSPE Autumn Conference
Conference information

Host: The Japan Society for Precision Engineering

Name : 2018 JSPE Autumn Conference

Location : [in Japanese]

Date : September 05, 2018 - September 07, 2018

Formal Modeling Applied to a Device Driver Using B-Method (3)
The Introduction of Event-B (Rodin)
*Takaomi Ohnishi, Kiyoshi Inagawa, Tsukasa Abe, Hitoshi Yoshimura, Takeshi Hori
Author information
Keywords: formal method, functional safety
CONFERENCE PROCEEDINGS FREE ACCESS

Pages 101-102

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

Recently viewed articles
Share this page
feedback
 Top