Login
- Titel:
Security Verification
- Dokumenttyp:
- Konferenzbeitrag
- Art des Konferenzbeitrags:
- Vortrag / Präsentation
- Autor(en):
- H. Boche
- 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
Vorkommen:
- mediaTUM GesamtbestandEinrichtungenSchools TUM School of Computation, Information and TechnologyDepartmentsComputer EngineeringTheoretische Informationstechnik (Prof. Boche)Publication TypeCongress Contribution
- mediaTUM GesamtbestandHochschulbibliographie2021FakultätenElektrotechnik und InformationstechnikTheoretische Informationstechnik (Prof. Boche)