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

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!

Keine Ergebnisse!