Conference
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
Authors
Foughali M; Berthomieu B; Dal-Zilio S; Ingrand F; Mallet A
Editors
Ogata K; Lawford M; Liu S
Series
Lecture Notes in Computer Science
Volume
10009
Pagination
pp. 383-399
Publication Date
January 1, 2016
ISBN-13
978-3-319-47845-6
Conference proceedings
ICFEM