Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots
['Yoshinao ISOBE', 'Nobuhiko MIYAMOTO', 'Noriaki ANDO', 'Yutaka OIWA']
/
IEICE Transactions in Information and Systems
/ Vol. 104
/ No. 10
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？