Towards automatic consistency checking of software components in field robotics

Morten Larsen; Marian Sorin Adam; Ulrik Pagh Schultz; Rasmus Jørgensen

Towards automatic consistency checking of software components in field robotics

Morten Larsen, Marian Sorin Adam, Ulrik Pagh Schultz, Rasmus Jørgensen

Mærsk Mc-Kinney Møller Instituttet

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry : New trends in mobile robotics, perception and actuation for agriculture and forestry
Redaktører	Pablo Gonzalez-de-Santos, Angela Ribeiro
Antal sider	10
Publikationsdato	21. maj 2014
Sider	409-418
ISBN (Trykt)	978-84-697-0248-2
Status	Udgivet - 21. maj 2014
Begivenhed	Second International Conference on Robotics and Associated High-Technologies and Equipment for Agriculture and Forestry: New trends in mobile robotics, perception and actuation for agriculture and forestry - Madrid, Spanien Varighed: 21. maj 2014 → 23. maj 2014 Konferencens nummer: 2

Konference

Konference	Second International Conference on Robotics and Associated High-Technologies and Equipment for Agriculture and Forestry
Nummer	2
Land	Spanien
By	Madrid
Periode	21/05/2014 → 23/05/2014

Dokumenter og links

http://www.rhea-conference.eu/2014/http://www.rhea-conference.eu/2014/

Citationsformater

Larsen, M., Adam, M. S., Schultz, U. P., & Jørgensen, R. (2014). Towards automatic consistency checking of software components in field robotics. I P. Gonzalez-de-Santos, & A. Ribeiro (red.), Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry: New trends in mobile robotics, perception and actuation for agriculture and forestry (s. 409-418) http://www.rhea-conference.eu/2014/http://www.rhea-conference.eu/2014/

Larsen, Morten ; Adam, Marian Sorin ; Schultz, Ulrik Pagh ; Jørgensen, Rasmus. / Towards automatic consistency checking of software components in field robotics. Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry: New trends in mobile robotics, perception and actuation for agriculture and forestry. red. / Pablo Gonzalez-de-Santos ; Angela Ribeiro. 2014. s. 409-418

@inproceedings{54463d8be58e4a569fe8c7b95d2b2781,

title = "Towards automatic consistency checking of software components in field robotics",

author = "Morten Larsen and Adam, {Marian Sorin} and Schultz, {Ulrik Pagh} and Rasmus J{\o}rgensen",

year = "2014",

month = may,

day = "21",

language = "English",

isbn = "978-84-697-0248-2",

pages = "409--418",

editor = "Pablo Gonzalez-de-Santos and Angela Ribeiro",

booktitle = "Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry",

note = "null ; Conference date: 21-05-2014 Through 23-05-2014",

}

Larsen, M, Adam, MS, Schultz, UP & Jørgensen, R 2014, Towards automatic consistency checking of software components in field robotics. i P Gonzalez-de-Santos & A Ribeiro (red), Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry: New trends in mobile robotics, perception and actuation for agriculture and forestry. s. 409-418, Second International Conference on Robotics and Associated High-Technologies and Equipment for Agriculture and Forestry, Madrid, Spanien, 21/05/2014. <http://www.rhea-conference.eu/2014/http://www.rhea-conference.eu/2014/>

Towards automatic consistency checking of software components in field robotics. / Larsen, Morten; Adam, Marian Sorin; Schultz, Ulrik Pagh; Jørgensen, Rasmus.

Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry: New trends in mobile robotics, perception and actuation for agriculture and forestry. red. / Pablo Gonzalez-de-Santos; Angela Ribeiro. 2014. s. 409-418.

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning

TY - GEN

T1 - Towards automatic consistency checking of software components in field robotics

AU - Larsen, Morten

AU - Adam, Marian Sorin

AU - Schultz, Ulrik Pagh

AU - Jørgensen, Rasmus

N1 - Conference code: 2

PY - 2014/5/21

Y1 - 2014/5/21

M3 - Article in proceedings

SN - 978-84-697-0248-2

SP - 409

EP - 418

BT - Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry

A2 - Gonzalez-de-Santos, Pablo

A2 - Ribeiro, Angela

Y2 - 21 May 2014 through 23 May 2014

ER -

Larsen M, Adam MS, Schultz UP, Jørgensen R. Towards automatic consistency checking of software components in field robotics. I Gonzalez-de-Santos P, Ribeiro A, red., Proceedings of the Second International Conference on Robotics, Associated High-Technologies and Equipment for Agriculture and Forestry: New trends in mobile robotics, perception and actuation for agriculture and forestry. 2014. s. 409-418