Ein CAD-System zum formal basierten, automatischen Entwurf von Kommunikationsprozessoren aus abstrakten Zeitdiagrammspezifikationen

Zugl.: Passau, Univ., Diss., 2000

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lenk, Stefan (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Aachen Shaker 2000
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Hochschulschrift > Verteiltes System > Kommunikationsprozessor > Entwurfsautomation > Formale Spezifikationstechnik > Datenfluss > Kontrollfluss > Grafische Darstellung > Zeitverhalten
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!