×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
中村 正樹
Masaki Nakamura
更新日: 04/12
ホーム
研究キーワード
研究分野
経歴
受賞
論文
MISC
担当経験のある科目(授業)
所属学協会
共同研究・競争的資金等の研究課題
学歴
委員歴
研究キーワード
19
帰納法
検証
要求仕様
安全性・信頼性
モジュールシステム
フォーマルメソッド
検証システム
認証プロトコル
代数仕様
証明スコア
項書き換えシステム
ソフトウェア工学
項書換システム
問題モデル
CafeOBJ
システム安全性
形式手法
振舞仕様
システム検証
メニュー
マイポータル
研究ブログ
資料公開
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる