Improving software model checking on program backbone within distributed system

Jiawei Yong, Keiichi Koyanagi, Takeshi Tsuchiya, Tetsuyasu Yamada, Hiroaki Sawano

研究成果: Conference contribution

フィンガープリント

「Improving software model checking on program backbone within distributed system」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science