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

Alvaro Miyazawa*, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

83 Citations (Scopus)

Fingerprint

Dive into the research topics of 'RoboChart: modelling and verification of the functional behaviour of robotic applications'. Together they form a unique fingerprint.

Computer Science