يعرض 21 - 11 نتائج من 11 نتيجة بحث عن '"Klenze, Tobias"', وقت الاستعلام: 0.72s
تنقيح النتائج
تنقيح النتائج
formal verification
6
data plane
4
future internet
4
communities
3
computer network protocols
3
data security
3
openflow (computer network protocol)
3
حل المشكلات
3
security protocol
3
security protocols
3
self-efficacy
3
computer science - logic in computer science
2
generalities, science
2
isabelle/hol
2
network protocols
2
archi
1
computer science - cryptography and security
1
computer science - networking and internet architecture
1
computer science - programming languages
1
computersystemsorganization_computer-communicationnetworks
1
cryptography and security cs.cr
1
data-plane
1
ddc:000
1
envir
1
fos computer and information sciences
1
networking and internet architecture cs.ni
1
programming languages cs.pl
1
refinement
1
security protocol verification
1
معهد مهندسي الكهرباء والإلكترونيات (آي تريبل إيه)
3
مطبعة معهد الفيزياء (آي أو بي)
3
association for computing machinery (acm)
2
eth zurich
2
acm
1
arxiv
1
association for computing machinery
1
chair for network architectures and services, department of computer science, technische universitat munchen
1
cornell university
1
springer international publishing
1
سبرينغر ناتشر
1
journal of computer security
3
2021 ieee 34th computer security foundations symposium (csf
1
arxiv
1
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i
1
proceedings of the 17th acm workshop on hot topics in networks
1
proceedings of the acm on programming languages ; volume 4, issue oopsla, page 1-31 ; issn 2475-1421
1
proceedings of the acm on programming languages, 4 (oopsla
1