Modellierung dynamisch partieller Rekonfiguration mit VPRS

Uwe Proß, Christian Adam, Benjamin Berger, Ulrich Heinkel. Modellierung dynamisch partieller Rekonfiguration mit VPRS. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 177-186, Universitätsbibliothek Berlin, Germany, 2009.

Abstract

Abstract is missing.