×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
冨田 尭
トミタ タカシ (Takashi Tomita)
更新日: 01/19
ホーム
研究キーワード
研究分野
経歴
学歴
委員歴
受賞
論文
MISC
講演・口頭発表等
担当経験のある科目(授業)
所属学協会
産業財産権
研究キーワード
13
ソフトウェア工学
形式手法
検証
モデル検査
プログラム合成
テスト生成
リアクティブシステム
モデルベース開発
車載システム
形式言語
オートマトン理論
時間論理
確率・統計
メニュー
マイポータル
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる
フォロー一覧
まだ誰もフォローしていません。
{{follow.Related.user_name_ja}}
{{follow.Related.modified}} 更新
もっとみる