Towards a Seamless Round-Trip Development Environment between Model Checking and Programming
宇部工業高等専門学校研究報告 Volume 52
Page 27-31
published_at 2006-03
Title
モデル検査環境とプログラミング環境のラウンドトリップに向けて
Towards a Seamless Round-Trip Development Environment between Model Checking and Programming
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