[Updated on Oct. 4] Integration of CiNii Articles into CiNii Research from April 1, 2022

Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model

Bibliographic Information

Title
Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model
Author
Kozo Okano, Toshifusa Sekizawa, Hiroaki Shinba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto

Journal

Citations (0)*help

See more

References(0)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

  • CRID
    1010282257051711619
  • Article Type
    journal article
  • Data Source
    • KAKEN
Back to top