Extracting Traceability between Predicates in Event-B Refinement

Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden

研究成果: Conference contribution

1 被引用数 (Scopus)

フィンガープリント

「Extracting Traceability between Predicates in Event-B Refinement」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science