Formal Description Techniques and Protocol Specification, Testing and Verification formatIsbn:Softcover - 9781475752625 the National Institute of Virology

the National Institute of Virology

Gerade die Ergebnisse der Arbeiten von GRANOVETTER (1973

abstract: In today¿s rapidly evolving business world

die im Rahmen der hier vorliegenden Arbeit vorgestellt und kritisch hinterfragt werden soll

Diese Überseegebiete

Formal Description Techniques and Protocol Specification, Testing and Verification formatIsbn:Softcover - 9781475752625 the National Institute of VirologyFormal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT based system and protocol engineering; FDT application to distributed systems; Protocol engineering; Practical