Articles liés à Formal Description Techniques IX: Theory, Application...

Formal Description Techniques IX: Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica - Couverture rigide

 
9780412794902: Formal Description Techniques IX: Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.