|
1 |
Security of data flow in IEEE Std 1687 reconfigurable scan networks
Raiola, Pascal. - Freiburg : Universität, 2022
|
|
|
|
2 |
Acquiring, congregating, and processing high-frequency electricity data in distributed environments
Völker, Benjamin. - Freiburg : Universität, 2022
|
|
|
|
3 |
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
Märcker, Steffen. - Dresden : Technische Universität Dresden, 2021
|
|
|
|
4 |
Take the power back!
Feiten, Linus. - Freiburg : Universität, 2022
|
|
|
|
5 |
Activity recognition with instrumented and wearable artifacts
Scholl, Philipp Marcel. - Freiburg : Universität, 2018
|
|
|
|
6 |
Applying advanced SAT-based techniques to circuit testing
Burchard, Jan. - Freiburg : Universität, 2018
|
|
|
|
7 |
Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models
Mahdi, Ahmed. - Oldenburg : BIS der Universität Oldenburg, 2017
|
|
|
|
8 |
Applying CDCL to verification and test: when laziness pays off
Scheibler, Karsten. - Freiburg : Universität, 2017
|
|
|
|
9 |
Spielbasierte Abstraktion von Markow-Automaten
Braitling, Bettina Claudia. - Freiburg : Universität, 2016
|
|
|
10 |
Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene
Becker, Bernd, 1982
|
|
Administration
