Preface (2021)

First Author: Gleirscher M.
Attributed to:  RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85120161703

Type: Other

Volume: 349

Parent Publication: Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 20752180