Construction of abstract state graphs for understanding event-B models

Daichi Morita*, Fuyuki Ishikawa, Shinichi Honiden

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

研究成果: Conference contribution

フィンガープリント

「Construction of abstract state graphs for understanding event-B models」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science