Software for analytical development of communications protocols

We describe a way to develop and implement communications protocols so they are logically sound and meet stated requirements. Our methodology employs a software system called the coordination-specification analyzer (COSPAN) to facilitate logical testing (in contrast to simulation or system execution...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	AT&T Technical Journal 1990-01, Vol.69 (1), p.45-59
Hauptverfasser:	Har'El, Zvi, Kurshan, Robert P.
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Software
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!