×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
和﨑 克己
ワサキ カツミ (KATSUMI WASAKI)
更新日: 02/01
ホーム
研究キーワード
研究分野
経歴
受賞
論文
MISC
所属学協会
共同研究・競争的資金等の研究課題
研究キーワード
12
ハードウェアコンパイラ
LOTOS
ペトリネット
非同期回路
形式検証
数理モデル
並列システム
上流設計
モデル検査系向けハードウェアコンパイラ
非同期回路の数学モデルと形式検証
並列分散システムのモデル化と解析
フォーマルアプローチ
メニュー
マイポータル
研究ブログ
資料公開
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる