Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
Attributed to:
RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-92137-8_5
Publication URI: http://dx.doi.org/10.1007/978-3-030-92137-8_5
Type: Book Chapter
Book Title: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (2021)
Page Reference: 70-86
ISSN: 1773-0155