Code-based requirements for software verification

Ladda ner
Masters Thesis_Albin Olsson.pdf (2.53 MB)
Typ
Examensarbete för masterexamen
Master's Thesis
Program
Systems, control and mechatronics (MPSYS), MSc
Publicerad
2023
Författare
Olsson, Albin
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material
Index
URI
http://hdl.handle.net/20.500.12380/307527
Samling
Examensarbeten för masterexamen