Zobrazeno 1 - 2
of 2
pro vyhledávání: '"MacConville, Dara"'
Publikováno v:
EPTCS 362, 2022, pp. 15-22
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on more tasks in both day-to-day areas and highly specialised domains. Robot
Externí odkaz:
http://arxiv.org/abs/2207.09706
Publikováno v:
Robotics; Apr2023, Vol. 12 Issue 2, p62, 22p
