Formal Description Techniques IX | Theory, application and tools | ISBN 9780412794902

Formal Description Techniques IX

Theory, application and tools

herausgegeben von R. Gotzhein und J. Bredereke
Mitwirkende
Herausgegeben vonR. Gotzhein
Herausgegeben vonJ. Bredereke
Buchcover Formal Description Techniques IX  | EAN 9780412794902 | ISBN 0-412-79490-X | ISBN 978-0-412-79490-2

Formal Description Techniques IX

Theory, application and tools

herausgegeben von R. Gotzhein und J. Bredereke
Mitwirkende
Herausgegeben vonR. Gotzhein
Herausgegeben vonJ. Bredereke
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.