Protocol specification, testing, and verification IX proceedings of the IFIP WG 6.1 ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6 - 9 June, 1989

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Amsterdam [u.a.] North-Holland 1990
Schlagworte:	Computers - Networks - Protocols Computernetwerken LOTOS Protocoles de réseaux d'ordinateurs - Congrès Protocollen (informatica) environnement logiciel espace état langage spécification logique temporelle méthode formelle specification système spécification protocole système ouvert test conformité vérification Computer network protocols > Congresses Konferenzschrift
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge