Zobrazeno 1 - 4
of 4
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
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed a
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and sel