Code-based requirements for software verification

Ladda ner

Masters Thesis_Albin Olsson.pdf (2.53 MB)

Publicerad

2023

Författare

Typ

Examensarbete för masterexamen
Master's Thesis

Program

Systems, control and mechatronics (MPSYS), MSc

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

Samlingar

Examensarbeten för masterexamen

item.page.endorsement

item.page.review

item.page.supplemented

item.page.referenced