Security Verification

Dokumenttyp:: Konferenzbeitrag
Art des Konferenzbeitrags:: Vortrag / Präsentation
Autor(en):: H. Boche
Titel:: Security Verification
Kongress- / Buchtitel:: CASA: Cybersicherheit im Zeitalter großskaliger Angreifer
Kongress / Zusatzinformationen:: Research HUB B Workshop on Computer aided Property Verification
Ausrichter der Konferenz:: Ruhr Universität Bochum
Datum der Konferenz:: 04.02.2021
Jahr:: 2021
Jahr / Monat:: 2021-02
Monat:: Feb
Sprache:: en
TUM Einrichtung:: Lehrstuhl für Theoretische Informationstechnik
Eingabe:: 16.02.2021
BibTeX