This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Reihe
Auflage
Softcover reprint of the original 1st ed. 1996
Sprache
Verlagsort
Zielgruppe
Illustrationen
Maße
Höhe: 235 mm
Breite: 155 mm
ISBN-13
978-1-5041-2883-4 (9781504128834)
DOI
10.1007/978-0-387-35079-0
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.
