Navigasjon
Hopp til innhold
ntnu.no
Studier
Studieprogram
Søk opptak
Studere på NTNU
Videreutdanning og deltid
Forkurs og oppfriskning
Studentliv
Student i Gjøvik
Student i Trondheim
Student i Ålesund
Forskning og innovasjon
Forskning
Innovasjon
Satsingsområder
Toppforskning
Ekspertlister
Ph.d.
Om NTNU
Fakulteter og institutter
Sentre
Bibliotek
Kart
Ledige stillinger
Arrangement
Nyheter
Kontakt oss
Om NTNU
Hjem
Ansatte
Språkvelger
English
Safa Zouari
Safa Zouari
Stipendiat
Institutt for informasjonssikkerhet og kommunikasjonsteknologi
safa.zouari@ntnu.no
90472783
Ametyst-bygget, 114, Gjøvik
Forskning
Publikasjoner
Undervisning
Forskning
System Security Group
Publikasjoner
Kronologisk
Etter kategori
Se alle publikasjoner i Cristin
2024
Zouari, Safa; Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
arXiv.org
Vitenskapelig artikkel
Tidsskriftspublikasjoner
Zouari, Safa; Fahrenberg, Uli.
(2024)
Bisimulations and Logics for Higher-Dimensional Automata.
arXiv.org
Vitenskapelig artikkel
Undervisning
Emner
IIKG2001 - Software Security
IMT4123 - Systemsikkerhet