|
|
JAIST Repository >
著者: "片山, 卓也"
6 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 15-Jun-2003 | 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術) | 立石, 孝彰; 青木, 利晃; 片山, 卓也; TATEISHI, TAKAAKI; AOKI, TOSHIAKI; KATAYAMA, TAKUYA |
| Sep-2007 | COE Research Monograph Series, Vol. 2 : 法令工学の提案 | 片山, 卓也; 島津, 明; 東条, 敏; 二木, 厚吉; 緒方, 和博; 有本, 泰仁; 落水, 浩一郎; 早坂, 良; 片山, 卓也 |
| Sep-2007 | COE Research Monograph Series, Vol. 2 : 法令工学の提案 | 片山, 卓也; 島津, 明; 東条, 敏; 二木, 厚吉; 緒方, 和博; 有本, 泰仁; 落水, 浩一郎; 早坂, 良; 片山, 卓也 |
| 6-Sep-2007 | JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用 | 片山, 卓也 |
| 7-Sep-2007 | JAIST-COEシンポジウム : 法令工学の可能性と展望 | 片山, 卓也 |
| Mar-2025 | 法令工学の実践 国民年金法の述語論理による記述と検証 | ; 片山, 卓也 |
|
