Model-Based Engineering for Robotics with RoboChart and RoboTool

First Author: Cavalcanti A

Attributed to: A Calculus for Software Engineering of Mobile and Autonomous Robots funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-43678-9_4

Publication URI: http://dx.doi.org/10.1007/978-3-031-43678-9_4

Type: Book Chapter

Book Title: Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures (2023)

Page Reference: 106-151