Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- actuators 2 Treffer
- fmt-mc: model checking 2 Treffer
- high tech systems & materials 2 Treffer
- hmi-mi: multimodal interactions 2 Treffer
- industrial innovation 2 Treffer
-
42 weitere Werte:
- sensors 2 Treffer
- attribute grammars 1 Treffer
- automated testing 1 Treffer
- black-box testing 1 Treffer
- communication & information 1 Treffer
- continuous deployment 1 Treffer
- cr-d.2.5 1 Treffer
- devops 1 Treffer
- electronics 1 Treffer
- entertainment 1 Treffer
- esi - embedded systems innovation 1 Treffer
- evolutionary algorithms 1 Treffer
- formal methods 1 Treffer
- gameful cities 1 Treffer
- games 1 Treffer
- geometric mean 1 Treffer
- hackable cities 1 Treffer
- hmi-hf: human factors 1 Treffer
- hmi-ia: intelligent agents 1 Treffer
- human computer interaction 1 Treffer
- humor 1 Treffer
- industrial case study 1 Treffer
- latent dirichlet allocation 1 Treffer
- ltl model checking 1 Treffer
- mac protocols 1 Treffer
- model checking 1 Treffer
- monitoring 1 Treffer
- ndfs 1 Treffer
- nested depth-first search 1 Treffer
- pervasive games 1 Treffer
- playable cities 1 Treffer
- run-time verification 1 Treffer
- search-based software engineering 1 Treffer
- smart cities 1 Treffer
- smart environments 1 Treffer
- symbolic transition systems 1 Treffer
- test execution 1 Treffer
- testing 1 Treffer
- topic modeling 1 Treffer
- ts - technical sciences 1 Treffer
- visualization 1 Treffer
- wireless sensor networks 1 Treffer
Publikation
Sprache
23 Treffer
-
In: Search-Based Software Engineering - 11th International Symposium, SSBSE 2019, Proceedings, 2019KonferenzZugriff:
-
In: Proceedings of the 4th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2016, Held as Part of HCI International 2016, 2016-07-17, S. 329-340Online KonferenzZugriff:
-
In: Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom, 2007, S. 98-117Online KonferenzZugriff:
-
In: Model Checking Software, 2005-08-01, S. 24-24Online KonferenzZugriff:
-
In: Integrated Formal Methods, 2007-07-01, S. 98-117KonferenzZugriff:
-
2007KonferenzZugriff:
-
In: First International Conference on Sustainable Technologies for Computational Intelligence, 2020, S. 667-691Online KonferenzZugriff:
-
In: Service-Oriented Computing - 16th International Conference, ICSOC 2018, Proceedings, 2018-11-19, S. 812-827Online KonferenzZugriff:
-
In: Handbook of Parallel Constraint Reasoning; (2018) S. 457-507Online BuchZugriff:
-
2014Online KonferenzZugriff:
-
In: Formal Methods for Industrial Critical Systems; (2021-08-19) S. 67-84Online BuchZugriff:
-
In: Advances in database technology - EDBT '94, 1994-03-28, S. 337-350Online KonferenzZugriff:
-
In: Playable Cities; (2017) S. 235-253BuchZugriff:
-
In: Fundamentals of Software Engineering, 2012, S. 1-14Online KonferenzZugriff:
-
In: Automated Technology for Verification and Analysis, 2006, S. 399-414Online KonferenzZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 17 (2015-02-01), Heft 1, S. 107-119Online serialPeriodicalZugriff:
-
In: Wireless Networks, 16 (7), 2010, 2010-02-16Online serialPeriodicalZugriff:
-
2007Online reportZugriff:
-
2019serialPeriodicalZugriff:
-
In: Model Checking and Artificial Intelligence (5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers), 2008, S. 65-89KonferenzZugriff: