Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer security 2 Treffer
- cryptography 2 Treffer
- program verification 2 Treffer
- semantics 2 Treffer
- c 1 Treffer
-
16 weitere Werte:
- c (computer program language) 1 Treffer
- computer network protocols 1 Treffer
- computer programming 1 Treffer
- computer scheduling 1 Treffer
- data encryption 1 Treffer
- dolev-yao model 1 Treffer
- first-order logic 1 Treffer
- formal methods 1 Treffer
- graphical user interfaces 1 Treffer
- h1 1 Treffer
- mathematical logic 1 Treffer
- protocol verification 1 Treffer
- security properties 1 Treffer
- software verification 1 Treffer
- spatial memory 1 Treffer
- tasks 1 Treffer
Publikation
Sprache
4 Treffer
-
In: Journal of Computer Security, Jg. 31 (2023-09-01), Heft 5, S. 581-614academicJournalZugriff:
-
In: Journal of Intelligent & Fuzzy Systems, Jg. 38 (2020-02-01), Heft 2, S. 1391-1399Online academicJournalZugriff:
-
In: Journal of Computer Security, Jg. 22 (2014-06-01), Heft 5, S. 823-866Online academicJournalZugriff:
-
In: Journal of Computer Security, Jg. 18 (2010-10-01), Heft 6, S. 1247-1299Online academicJournalZugriff: