Verifying the logical correctness of a train station
dc.contributor.author | Härle, Berit-Janice | |
dc.contributor.author | Lovén Öberg, Daniel | |
dc.contributor.department | Chalmers tekniska högskola / Institutionen för signaler och system | sv |
dc.contributor.department | Chalmers University of Technology / Department of Signals and Systems | en |
dc.date.accessioned | 2019-07-03T14:17:24Z | |
dc.date.available | 2019-07-03T14:17:24Z | |
dc.date.issued | 2016 | |
dc.identifier.uri | https://hdl.handle.net/20.500.12380/240274 | |
dc.language.iso | eng | |
dc.relation.ispartofseries | Ex - Institutionen för signaler och system, Chalmers tekniska högskola : EX046/2016 | |
dc.setspec.uppsok | Technology | |
dc.subject | Elektroteknik och elektronik | |
dc.subject | Electrical Engineering, Electronic Engineering, Information Engineering | |
dc.title | Verifying the logical correctness of a train station | |
dc.type.degree | Examensarbete för masterexamen | sv |
dc.type.degree | Master Thesis | en |
dc.type.uppsok | H | |
local.programme | Systems, control and mechatronics (MPSYS), MSc |
Ladda ner
Original bundle
1 - 1 av 1
Hämtar...
- Namn:
- 240274.pdf
- Storlek:
- 12.34 MB
- Format:
- Adobe Portable Document Format
- Beskrivning:
- Fulltext