Efficient algorithms for temporal logic verification

Visa enkel post
dc.contributor.authorOlivecrona, Olof
dc.contributor.departmentChalmers tekniska högskola / Institutionen för elektrotekniksv
dc.contributor.examinerLennartson, Bengt
dc.contributor.supervisorLennartson, Bengt
dc.date.accessioned2021-09-09T12:31:35Z
dc.date.available2021-09-09T12:31:35Z
dc.date.issued2021sv
dc.date.submitted2020
dc.identifier.coursecodeEENX30sv
dc.identifier.urihttps://hdl.handle.net/20.500.12380/304098
dc.language.isoengsv
dc.setspec.uppsokTechnology
dc.titleEfficient algorithms for temporal logic verificationsv
dc.type.degreeExamensarbete för masterexamensv
dc.type.uppsokH
local.programmeSystems, control and mechatronics (MPSYS), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
Efficient__algorithms__for__temporal__logic_verification.pdf
Storlek:
1.58 MB
Format:
Adobe Portable Document Format
Beskrivning:
Full text
Ladda ner
License bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
license.txt
Storlek:
1.51 KB
Format:
Item-specific license agreed upon to submission
Beskrivning:
Ladda ner
Samling
Examensarbeten för masterexamen