By the same authors

Modelling and Verification of Timed Robotic Controllers

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

Standard

Modelling and Verification of Timed Robotic Controllers. / De Oliveira Salazar Ribeiro, Pedro Fernando; Miyazawa, A.; Li, W.; Cavalcanti, A. L. C.; Timmis, J.

Integrated Formal Methods. ed. / N. Polikarpova; S. Schneider. Springer, 2017. p. 18-33 (Lecture Notes in Computer Science; Vol. 10510).

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

Harvard

De Oliveira Salazar Ribeiro, PF, Miyazawa, A, Li, W, Cavalcanti, ALC & Timmis, J 2017, Modelling and Verification of Timed Robotic Controllers. in N Polikarpova & S Schneider (eds), Integrated Formal Methods. Lecture Notes in Computer Science, vol. 10510, Springer, pp. 18-33. https://doi.org/10.1007/978-3-319-66845-1_2

APA

De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C., & Timmis, J. (2017). Modelling and Verification of Timed Robotic Controllers. In N. Polikarpova, & S. Schneider (Eds.), Integrated Formal Methods (pp. 18-33). (Lecture Notes in Computer Science; Vol. 10510). Springer. https://doi.org/10.1007/978-3-319-66845-1_2

Vancouver

De Oliveira Salazar Ribeiro PF, Miyazawa A, Li W, Cavalcanti ALC, Timmis J. Modelling and Verification of Timed Robotic Controllers. In Polikarpova N, Schneider S, editors, Integrated Formal Methods. Springer. 2017. p. 18-33. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-66845-1_2

Author

De Oliveira Salazar Ribeiro, Pedro Fernando ; Miyazawa, A. ; Li, W. ; Cavalcanti, A. L. C. ; Timmis, J. / Modelling and Verification of Timed Robotic Controllers. Integrated Formal Methods. editor / N. Polikarpova ; S. Schneider. Springer, 2017. pp. 18-33 (Lecture Notes in Computer Science).

Bibtex - Download

@inproceedings{fbbc3ed391d849b5a2691630d82efbac,
title = "Modelling and Verification of Timed Robotic Controllers",
author = "{De Oliveira Salazar Ribeiro}, {Pedro Fernando} and A. Miyazawa and W. Li and Cavalcanti, {A. L. C.} and J. Timmis",
note = "{\circledC} Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details",
year = "2017",
month = "9",
day = "1",
doi = "10.1007/978-3-319-66845-1_2",
language = "Undefined/Unknown",
isbn = "9783319668444",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "18--33",
editor = "N. Polikarpova and S. Schneider",
booktitle = "Integrated Formal Methods",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Modelling and Verification of Timed Robotic Controllers

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Miyazawa, A.

AU - Li, W.

AU - Cavalcanti, A. L. C.

AU - Timmis, J.

N1 - © Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

PY - 2017/9/1

Y1 - 2017/9/1

U2 - 10.1007/978-3-319-66845-1_2

DO - 10.1007/978-3-319-66845-1_2

M3 - Conference contribution

SN - 9783319668444

T3 - Lecture Notes in Computer Science

SP - 18

EP - 33

BT - Integrated Formal Methods

A2 - Polikarpova, N.

A2 - Schneider, S.

PB - Springer

ER -