Towards Design Verification and Validation at Multiple Levels of Abstraction.

Holger Giese Martin Kardos Ulrich Nickel Towards Design Verification and Validation at Multiple Levels of Abstraction. 71-80 2002 conf/ifip10-3/2002dipes DIPES db/conf/ifip10-3/dipes2002.html#GieseKN02