9 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 1
zu den Filteroptionen9 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
1
Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020
Vandalism detection in crowdsourced knowledge bases
Elektronische Ressource, Paderborn, 2019
Vehicular micro cloud prototype implementation
Elektronische Ressource, Paderborn, 2019


Verification and simulation of self-adaptive mechatronic systems
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2016

Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017

