コンテンツメニュー

Tanabe Makoto


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

宇部工業高等専門学校研究報告 Volume 52 Page 27-31
published_at 2006-03
UN20052000006.pdf
[fulltext] 560 KB
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