Task sequencing language for specifying distributed Ada systems TSL-1

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Luckham, D. C. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stanford, Calif. Univ. 1987
Schriftenreihe:	Technical report / Computer Systems Laboratory 87,334 Report / Program Analysis and Verification Group 34
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!