Automated robot collision avoidance using virtual commissioning and formal methods

Typ
Examensarbete för masterexamen
Master Thesis
Program
Production engineering (MPPEN), MSc
Publicerad
2017
Författare
Garcia Romero, Lucas
Skalberg, Karl-Oscar
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Elektroteknik och elektronik , Electrical Engineering, Electronic Engineering, Information Engineering
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material
Index