Formal description techniques and protocol specification, testing, and verification FORTE XI/PSTV XVIII '98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, andVerification (PSTV XVIII), 3 - 6 November 1998, Paris, France

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (BerichterstatterIn)
Weitere Verfasser:	Budkowski, Stan (BerichterstatterIn), Cavalli, Ana (BerichterstatterIn), Najm, Elie (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston u.a. Kluwer Acad. Publ. 1998
Schlagworte:	Electronic data processing > Congresses > Computer network protocols > Formal methods (Computer science) > Konferenzschrift > Datenverarbeitung > Kommunikationssystem > Verteiltes System > Kommunikationsprotokoll > Formale Beschreibungstechnik
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!