I agree that this site is using cookies. You can find further informations here.
X
Kropf, Charles W.
6  results:
Bookchapter (Online) X
Search for persons X
?
1

Fast falsification based on symbolic bounded property check..:

, In: 2006 43rd ACM/IEEE Design Automation Conference,
Peranandam, P.M. ; Nalla, P.K. ; Ruf, J.... - p. 1077-1082 , 2006
Link: https://doi.org/10.1145/..
 
?
2

Ein neues gentechnologisches Modell zur Angiogeneseinduktio..:

, In: Deutsche Gesellschaft für Chirurgie; Chirurgisches Forum 2003 für experimentelle und klinische Forschung,
Machens, Hans-Günther ; Spanholtz, T. ; Maichle, A.... - p. 237-240 , 2003
Link: https://doi.org/10.1007/..
 
?
3

The simulation semantics of systemC:

, In: Proceedings of the conference on Design, automation and test in Europe,
Ruf, J. ; Hoffmann, D. ; Gerlach, J.... - p. 64-70 , 2001
Link: https://dl.acm.org/doi/1..
 
?
4

Simulation-guided property checking based on a multi-valued..:

, In: Proceedings of the conference on Design, automation and test in Europe,
Ruf, J. ; Hoffmann, D. ; Kropf, T.. - p. 742-748 , 2001
Link: https://dl.acm.org/doi/1..
 
?
5

Exploiting hierarchy for multiple error correction in combi..:

, In: Proceedings of the conference on Design, automation and test in Europe,
Hoffman, Dirk W. ; Kropf, Thomas - p. 758 ff. , 2000
Link: https://dl.acm.org/doi/1..
 
?
6

Poster:

, In: Ersatz- und Ergänzungsmethoden zu Tierversuchen; Möglichkeiten und Grenzen der Reduktion von Tierversuchen,
Gstraunthaler, Gerhard ; Steinmassl, Dieter ; Pfaller, Walter... - p. 133-186 , 1992
Link: https://doi.org/10.1007/..
 
1-6