Treffer
1 - 4
von
4
für Suche '
Ereth, Sarah
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Ereth, Sarah
Treffer
1 - 4
von
4
für Suche '
Ereth, Sarah
'
, Suchdauer: 0,32s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
On the Security of the Winternitz One-Time Signature Scheme
von
Buchmann, Johannes
,
Dahmen, Erik
,
Ereth, Sarah
,
Hülsing, Andreas
,
Rückert, Markus
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Scalable offline monitoring of temporal specifications
von
Basin, David
,
Caronni, Germano
,
Ereth, Sarah
,
Harvan, Matúš
,
Klaedtke, Felix
,
Mantel, Heiko
Veröffentlicht in
Formal methods in system design
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Scalable Offline Monitoring
von
Basin, David
,
Caronni, Germano
,
Ereth, Sarah
,
Harvan, Matúš
,
Klaedtke, Felix
,
Mantel, Heiko
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Checking System Compliance by Slicing and Monitoring Logs
von
Harvan, Matúš
,
Basin, David A.
,
Caronni, Germano
,
Ereth, Sarah
,
Klaedtke, Felix
,
Mantel, Heiko
Volltext bestellen
Report
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
3 Treffer
3
Online Resources
4 Treffer
4
Format
Book Chapters
2 Treffer
2
Articles
1 Treffer
1
Reports
1 Treffer
1
Zeitschriftentitel
Formal Methods In System Design
1 Treffer
1
Schlagworte
Computer Science
3 Treffer
3
Computer Science, Theory & Methods
3 Treffer
3
Science & Technology
3 Treffer
3
Technology
3 Treffer
3
Monitoring
2 Treffer
2
Slicing
2 Treffer
2
Temporal Logic
2 Treffer
2
Cae) And Design
1 Treffer
1
Check Compliance
1 Treffer
1
Circuits And Systems
1 Treffer
1
Compliance Checking
1 Treffer
1
Computer Science, Software Engineering
1 Treffer
1
Computer-Aided Engineering (Cad
1 Treffer
1
Constant Symbol
1 Treffer
1
Data Processing, Computer Science
1 Treffer
1
Data Security + Data Protection
1 Treffer
1
Datensicherheit + Datenschutz
1 Treffer
1
Efficiency
1 Treffer
1
Electrical Engineering
1 Treffer
1
Engineering
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Ingenta Connect
2 Treffer
2
Datacite
1 Treffer
1
Springernature Journals
1 Treffer
1
Journals@Ovid Complete
1 Treffer
1