RoboChart: modelling and verification of the functional behaviour of robotic applications

Miyazawa, Alvaro Heiji orcid.org/0000-0003-2233-9091, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Li, W. orcid.org/0000-0001-9786-585X et al. (3 more authors) (2019) RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling. ISSN 1619-1366

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © The Author(s) 2019
Keywords: CSP,Domain-specific language for robotics,Formal semantics,Model checking,Process algebra,State machines,Timed properties,Software,Modelling and Simulation
Dates:
  • Published: 24 January 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
The University of York > Faculty of Sciences (York) > Electronic Engineering (York)
Depositing User: Pure (York)
Date Deposited: 25 Jan 2019 15:00
Last Modified: 05 Dec 2019 00:16
Published Version: https://doi.org/10.1007/s10270-018-00710-z
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1007/s10270-018-00710-z
Related URLs:

Download

Filename: Miyazawa2019_Article_RoboChartModellingAndVerificat.pdf

Description: Miyazawa2019_Article_RoboChartModellingAndVerificat

Licence: CC-BY 2.5

Share / Export

Statistics