Deriving structural RT-implementations from algorithmic descriptions by means of logical transformations
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1998 |
| Sprache | Englisch |
| Identifikator | ISBN: 3-931466-35-3 urn:nbn:de:swb:90-AAA450989 KITopen-ID: 45098 |
| Erschienen in | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998 |
| Verlag | HNI |
| Seiten | 38-49 |
| Serie | HNI-Verlagsschriftenreihe ; 36 |