論文

査読有り筆頭著者責任著者

2018年11月

Analysis on Strategies of Superposition Refinement of Event-B Specifications

The 20th International Conference on Formal Engineering Methods (ICFEM 2018)

Tsutomu Kobayashi
Fuyuki Ishikawa

開始ページ: 357
終了ページ: 372
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-030-02450-5_21

Best Paper Award受賞

リンク情報

DOI: https://doi.org/10.1007/978-3-030-02450-5_21

ID情報

DOI : 10.1007/978-3-030-02450-5_21

エクスポート: BibTeX RIS

論文リストへ