Formal description techniques and protocol specification, testing and verification
Boston [u.a.]: Kluwer Academic Publishers, 1998
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VIII, 467 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal description techniques and protocol specification, testing and verification
|
---|---|
Verantwortlichkeitsangabe: | 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, and Verification (PSTV XVIII), 3 - 6 November 1998, Paris, France. Edited by Stan Budkowski .. |
Autor/in / Beteiligte Person: | Budkowski, Stan |
Körperschaft: | International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks ; Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification |
Link: | |
Veröffentlichung: | Boston [u.a.]: Kluwer Academic Publishers, 1998 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VIII, 467 S. : graph. Darst. |
ISBN: | 0412847604 |
Schlagwort: |
|
Sonstiges: |
|