Tanabe Makoto

Towards a Seamless Round-Trip Development Environment between Model Checking and Programming

published_at 2006-03

Title

モデル検査環境とプログラミング環境のラウンドトリップに向けて

Towards a Seamless Round-Trip Development Environment between Model Checking and Programming

Creators Tanabe Makoto

Source Identifiers

Languages jpn

Resource Type departmental bulletin paper

Publishers 宇部工業高等専門学校

Date Issued 2006-03

File Version Version of Record

Access Rights open access

Relations

[ISSN]0386-4359