研究者
J-GLOBAL ID：200901037910036466   更新日: 2020年05月17日

Nowak David

ノウ ゙ァック ダウ ゙ィッド | Nowak David
所属機関・部署：
独立行政法人産業技術総合研究所 情報セキュリティ研究センター ソフトウエアセキュリティ研究チーム

独立行政法人産業技術総合研究所 情報セキュリティ研究センター ソフトウエアセキュリティ研究チーム について


ホームページURL (1件)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=D46514141
研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： temporal logic ,  model checking ,  proof aid ,  verification
競争的資金等の研究課題 (1件)：
  • Software security
MISC (1件)：
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM