TL: a system-level specification language for system analysis

Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification se...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Benders, L.P.M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Analytical models Embedded software Embedded system Handicapped aids Hardware Information systems Petri nets Power system modeling Protocols Specification languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!