×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
小林 努
コバヤシ ツトム (Tsutomu Kobayashi)
更新日: 04/03
ホーム
研究キーワード
研究分野
経歴
共同研究・競争的資金等の研究課題
受賞
メディア報道
論文
産業財産権
書籍等出版物
講演・口頭発表等
担当経験のある科目(授業)
学術貢献活動
Works(作品等)
学歴
所属学協会
MISC
書籍等出版物
1
表示件数
20件
20件
50件
100件
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden (担当:分担執筆, 範囲:Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B)
Springer 2021年
メニュー
マイポータル
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる