Verifying the logical correctness of a train station

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/240274
Download file(s):
File Description SizeFormat 
240274.pdfFulltext12.64 MBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Verifying the logical correctness of a train station
Authors: Härle, Berit-Janice
Lovén Öberg, Daniel
Keywords: Elektroteknik och elektronik;Electrical Engineering, Electronic Engineering, Information Engineering
Issue Date: 2016
Publisher: Chalmers tekniska högskola / Institutionen för signaler och system
Chalmers University of Technology / Department of Signals and Systems
Series/Report no.: Ex - Institutionen för signaler och system, Chalmers tekniska högskola : EX046/2016
URI: https://hdl.handle.net/20.500.12380/240274
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.