Lock, Th. ; Mendler, Michael:
Formale Modellierung von kontrollflußdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflußgesteuerter Einplanungsverfahren
.
In: Rammig, F., J. ; Müller, W. (Hrsg.) : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
Paderborn : HNI Verlagschriftenreihe, 1998, S. 75-84.
Institution: Professur für Grundlagen der Informatik
|
|