6 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke
Klassifikation
Schliessen
Filter
1

Validation of software migration
model-driven co-migration of test cases
Jovanovikj, Ivan ; Engels, Gregor ; Ebert, Jürgen ; Bodden, Eric ; Sauer, Stefan ; Zimmermann, Olaf
Elektronische Ressource, Paderborn, 2020
Vandalism detection in crowdsourced knowledge bases
Heindorf, Stefan ; Engels, Gregor ; Potthast, Martin ; Bast, Hannah
Elektronische Ressource, Paderborn, 2019
Vehicular micro cloud prototype implementation
Narayanaswamy, Kiran ; Dressler, Falko ; Scheideler, Christian
Elektronische Ressource, Paderborn, 2019
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
2015
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, Jens
Elektronische Ressource, Paderborn, 2017

Publizieren