Abstract: This study investigates the formal specification and verification of autonomous vehicle control systems through specification translation between CafeOBJ and Real-Time Maude. The research ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback