Description style of model-based formal specification considering executability and readability

Yasumasa Nakatsugawa, Taro Kurita, Keijiro Araki

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

フィンガープリント

「Description style of model-based formal specification considering executability and readability」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science