Refactoring refinement structure of event-B machines

Tsutomu Kobayashi*, Fuyuki Ishikawa, Shinichi Honiden

*この研究の対応する著者

研究成果: Conference contribution

7 被引用数 (Scopus)

フィンガープリント

「Refactoring refinement structure of event-B machines」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science