By the same authors

From formalised state machines to implementation of robotic controllers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

From formalised state machines to implementation of robotic controllers. / Li, Wei; Miyazawa, Alvaro Heiji; De Oliveira Salazar Ribeiro, Pedro Fernando; Cavalcanti, Ana Lucia Caneca; Woodcock, JAMES Charles Paul; Timmis, Jonathan Ian.

13th International Conference on Distributed Autonomous Robotic Systems. London, UK : Springer Verlag, 2016. (Springer Tracts in Advanced Robotics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Li, W, Miyazawa, AH, De Oliveira Salazar Ribeiro, PF, Cavalcanti, ALC, Woodcock, JAMESCP & Timmis, JI 2016, From formalised state machines to implementation of robotic controllers. in 13th International Conference on Distributed Autonomous Robotic Systems. Springer Tracts in Advanced Robotics, Springer Verlag, London, UK, Distributed Autonomous Robotic Systems, London, United Kingdom, 7/11/16.

APA

Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P., & Timmis, J. I. (2016). From formalised state machines to implementation of robotic controllers. In 13th International Conference on Distributed Autonomous Robotic Systems (Springer Tracts in Advanced Robotics). Springer Verlag.

Vancouver

Li W, Miyazawa AH, De Oliveira Salazar Ribeiro PF, Cavalcanti ALC, Woodcock JAMESCP, Timmis JI. From formalised state machines to implementation of robotic controllers. In 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag. 2016. (Springer Tracts in Advanced Robotics).

Author

Li, Wei ; Miyazawa, Alvaro Heiji ; De Oliveira Salazar Ribeiro, Pedro Fernando ; Cavalcanti, Ana Lucia Caneca ; Woodcock, JAMES Charles Paul ; Timmis, Jonathan Ian. / From formalised state machines to implementation of robotic controllers. 13th International Conference on Distributed Autonomous Robotic Systems. London, UK : Springer Verlag, 2016. (Springer Tracts in Advanced Robotics).

Bibtex - Download

@inproceedings{55d935bae62d4347aa31f39d9340c438,
title = "From formalised state machines to implementation of robotic controllers",
author = "Wei Li and Miyazawa, {Alvaro Heiji} and {De Oliveira Salazar Ribeiro}, {Pedro Fernando} and Cavalcanti, {Ana Lucia Caneca} and Woodcock, {JAMES Charles Paul} and Timmis, {Jonathan Ian}",
year = "2016",
month = sep,
language = "English",
series = "Springer Tracts in Advanced Robotics",
publisher = "Springer Verlag",
booktitle = "13th International Conference on Distributed Autonomous Robotic Systems",
note = "Distributed Autonomous Robotic Systems ; Conference date: 07-11-2016 Through 09-11-2016",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - From formalised state machines to implementation of robotic controllers

AU - Li, Wei

AU - Miyazawa, Alvaro Heiji

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Cavalcanti, Ana Lucia Caneca

AU - Woodcock, JAMES Charles Paul

AU - Timmis, Jonathan Ian

PY - 2016/9

Y1 - 2016/9

M3 - Conference contribution

T3 - Springer Tracts in Advanced Robotics

BT - 13th International Conference on Distributed Autonomous Robotic Systems

PB - Springer Verlag

CY - London, UK

T2 - Distributed Autonomous Robotic Systems

Y2 - 7 November 2016 through 9 November 2016

ER -