326 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen326 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Online algorithms for allocating heterogeneous resources
Elektronische Ressource, Paderborn, 2023Online anomaly detection for reconfigurable self-X real-time operating systems
a danger theory-inspired approachElektronische Ressource, Paderborn, 2016Online model checking mechanism and its applications
Elektronische Ressource, PaderbornOrganic programming of dynamic real-time applications
Elektronische Ressource, Paderborn, 2019