Formal verification of charging control software using simulink design verifier

Visa enkel post
dc.contributor.authorAndersson, Axel
dc.contributor.departmentChalmers tekniska högskola / Institutionen för elektrotekniksv
dc.contributor.examinerÅkesson, Knut
dc.date.accessioned2020-08-21T12:15:46Z
dc.date.available2020-08-21T12:15:46Z
dc.date.issued2020sv
dc.date.submitted2020
dc.identifier.coursecodeEENX30sv
dc.identifier.urihttps://hdl.handle.net/20.500.12380/301547
dc.language.isoengsv
dc.setspec.uppsokTechnology
dc.titleFormal verification of charging control software using simulink design verifiersv
dc.type.degreeExamensarbete för masterexamensv
dc.type.uppsokH

Ladda ner

Original bundle

Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
AnderssonAxel_2020.pdf
Storlek:
2.85 MB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner

License bundle

Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
license.txt
Storlek:
1.14 KB
Format:
Item-specific license agreed upon to submission
Beskrivning:
Ladda ner

Samlingar

Examensarbeten för masterexamen