Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 2 Treffer
- programming languages 2 Treffer
- safe robotics 2 Treffer
- systematic testing 2 Treffer
- verification 2 Treffer
-
13 weitere Werte:
- computer bugs 1 Treffer
- computing and processing 1 Treffer
- deductive verification 1 Treffer
- formal verification 1 Treffer
- industries 1 Treffer
- parameterization 1 Treffer
- recommendation system 1 Treffer
- regression testing 1 Treffer
- runtime verification 1 Treffer
- software 1 Treffer
- software evolution 1 Treffer
- testing 1 Treffer
- tools 1 Treffer
Verlag
Sprache
3 Treffer
-
In: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), 2021-05-01, S. 124-129KonferenzZugriff:
-
2019HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff: