( en | de | ru )

 

Disambiguation of "Okano, Kozo"

Author of the publication

copydeleteadd this publication to your clipboard
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances.

, , , and . COMPSAC Workshops, page 550-555. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kozo Yabuta

Kozo Kosugi

Haruko Okano

Yvette Kozova-Razanantoanina

Maike Kozok

 

Other publications of authors with the same name

Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness., , , , and . ICPP Workshops, page 576-581. IEEE Computer Society, (1999)Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers., , , and . ICDCS, page 510-517. IEEE Computer Society, (1995)Bidirectional Translation between OCL and JML for Round-Trip Engineering., , , and . APSEC (2), page 49-54. IEEE Computer Society, (2013)Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces., , , and . ISE@APSEC, volume 3655 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach., and . FATES, volume 3395 of Lecture Notes in Computer Science, page 95-109. Springer, (2004)Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis., , , and . KES, volume 192 of Procedia Computer Science, page 1649-1658. Elsevier, (2021)Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances., , , and . COMPSAC Workshops, page 550-555. IEEE Computer Society, (2015)An Evaluation Mechanism for QoS Management in Wireless Systems., , and . ICPADS (2), page 150-154. IEEE Computer Society, (2005)SMart-Learning: State Machine Simulators for Developing Thinking Skills., , and . ICALT, page 81-83. IEEE Computer Society, (2017)Traceability Link Mining - Focusing on Usability., , , , and . COMPSAC (2), page 286-287. IEEE Computer Society, (2017)978-1-5386-0367-3.