Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
2028109
Sist endret:
30. mai 2022, 13:17
Resultat
Doktorgradsavhandling
2022
Using Formal Methods for Modelling Cyber-Physical Systems Security
Livinus Obiora Nweke
Utgiver/serie
Utgiver/serie
Utgiver
NTNU Grafisk Senter
Serie
Doctoral theses at NTNU
ISSN 2703-8084
Om resultatet
Om resultatet
Doktorgradsavhandling
Publiseringsår: 2022
Hefte: 2022:169
Antall sider: 153
Beskrivelse
Beskrivelse
Engelsk
Tittel
Using Formal Methods for Modelling Cyber-Physical Systems Security
Bidragsytere
Bidragsytere
Livinus Obiora Nweke
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1
-
1
av
1