885 followers
#OnlineFirst: RoboChart: modelling and verification of the functional behaviour of robotic applications; Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock; https://t.co/JFMC9wUB1V
#OnlineFirst: RoboChart: modelling and verification of the functional behaviour of robotic applications; Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock; https://t.co/JFMC9wUB1V