Crossmark

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

Crossref DOI link: https://doi.org/10.1007/s10270-018-00710-z

Published Online: 2019-01-23

Published Print: 2019-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Miyazawa, Alvaro

Ribeiro, Pedro

Li, Wei

Cavalcanti, Ana

Timmis, Jon

Woodcock, Jim
Funding

Funding for this research was provided by:

EPSRC (EP/M025756/1, EP/R025479/1)

Royal Academy of Engineering
License Information

Text and Data Mining valid from 2019-01-23
More Information

Article History

Received: 21 June 2018

Revised: 21 December 2018

Accepted: 21 December 2018

First Online: 23 January 2019