Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 3 Treffer
- security 3 Treffer
- field programmable gate arrays 2 Treffer
- model checking 2 Treffer
- runtime verification 2 Treffer
-
43 weitere Werte:
- uas 2 Treffer
- verification 2 Treffer
- assurance 1 Treffer
- automata 1 Treffer
- automata theory 1 Treffer
- automated testing 1 Treffer
- autonomy 1 Treffer
- checking 1 Treffer
- computer engineering 1 Treffer
- distributed systems 1 Treffer
- dns 1 Treffer
- drone 1 Treffer
- drone aircraft 1 Treffer
- field programmable gate array 1 Treffer
- firmware 1 Treffer
- formal model 1 Treffer
- formal verification 1 Treffer
- hardware 1 Treffer
- hardware verification 1 Treffer
- high-level synthesis 1 Treffer
- hls 1 Treffer
- inductive invariant inference 1 Treffer
- isabelle 1 Treffer
- linear temporal logic 1 Treffer
- ltl 1 Treffer
- malware 1 Treffer
- model 1 Treffer
- monitor 1 Treffer
- paxos 1 Treffer
- program repair 1 Treffer
- programming languages 1 Treffer
- robotics 1 Treffer
- safe robotics 1 Treffer
- safety 1 Treffer
- safety monitors 1 Treffer
- smart systems 1 Treffer
- software engineering 1 Treffer
- software verification 1 Treffer
- systematic testing 1 Treffer
- tla 1 Treffer
- unifying theories of programming 1 Treffer
- verification and validation 1 Treffer
- verification condition generation 1 Treffer
8 Treffer
-
2014HochschulschriftZugriff:
-
2019HochschulschriftZugriff:
-
2022HochschulschriftZugriff:
-
2021Online HochschulschriftZugriff:
-
2020Online HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff:
-
2017Online HochschulschriftZugriff: