From Formalised State Machines to Implementations of Robotic Controllers

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

*Awdur cyfatebol y gwaith hwn

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddPennod

8 Dyfyniadau (Scopus)

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'From Formalised State Machines to Implementations of Robotic Controllers'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Computer Science