Using flows for describing and verifying the behaviour of interactive systems : Génie et technologie logiciels pour les services et réseaux de télécommunication

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annales des télécommunications 1996, Vol.51 (9-10), p.474-482
Hauptverfasser:	D'AUSBOURG, B, DURRIEU, G, ROCHE, P
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Learning and adaptive systems Programming languages Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
ISSN:	0003-4347 1958-9395