|
1 |
Virtual prototype centric verification for embedded system development
Bruns, Niklas. - Bremen, [2023]
|
|
|
|
2 |
Physically-based methodology for the EMC-compliant design and verification of automotive system ICs
Schade, Alexander. - Erlangen : FAU University Press, 2021
|
|
|
|
3 |
Automated techniques for functional verification at the electronic system level
Le, Hoang M., 2015
|
|
|
|
4 |
Development of an integrated electronic data collection and analysis system in radiation oncology
Eitz, Kerstin Anne, 2013
|
|
|
|
5 |
Design, development and verification of the eROSITA thermal control system
Fürmetz, Maria Regina, 2012
|
|
|
|
6 |
Computer verification of algorithms using a formal proof system
Kaiser, Markus. - Berlin : dissertation.de, 2010, Als Ms. gedr.
|
|
|
|
7 |
Application of Global Positioning System slant path delay data for mesoscale model verification and four-dimensional variational assimilation
Zus, Florian, 2009
|
|
|
|
8 |
System-on-chip protocol compliance verification using interval property checking
Nguyen, Duc-Minh, 2009
|
|
|
|
9 |
Development, verification and validation of an image analysis system for seed vigour assessment in winter oilseed rape (WOSR-Vig)
Tohidloo, Ghasem, 2008
|
|
|
|
10 |
Efficient system traversal and property verification by exploiting circuit locality
Peranandam, Prakash Mohan, 2006
|
|
Administration
