Verification of embedded system by a method for detecting defects in source codes using model checking

Yoshitaka Aoki, Saeko Matsuura

研究成果: Conference contribution

フィンガープリント

「Verification of embedded system by a method for detecting defects in source codes using model checking」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science