Extracting state machines from model-based formal specifications by focusing on data types

Kengo Miyoshi, Shigeru Kusakabe, Keijiro Araki

研究成果: ジャーナルへの寄稿学術誌査読

フィンガープリント

「Extracting state machines from model-based formal specifications by focusing on data types」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Computer Science