Verifying the logical correctness of a train station
Ladda ner
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
Systems, control and mechatronics (MPSYS), MSc
Publicerad
2016
Författare
Härle, Berit-Janice
Lovén Öberg, Daniel
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Elektroteknik och elektronik , Electrical Engineering, Electronic Engineering, Information Engineering