Formal Description Techniques and Protocol Specification, Testing and Verification formatIsbn:Hardcover - 9780412820601 NC Secretary General

NC Secretary General

studiert und versucht nicht unterzugehen

welche sich aus der Optimierung einzelner Komponenten wie beispielsweise der Kühlwasserpumpe ergeben können

erent from today’s technical systems that have beendesignedbyengineersandcomputerscientists

and routing

Formal Description Techniques and Protocol Specification, Testing and Verification formatIsbn:Hardcover - 9780412820601 NC Secretary GeneralFORTE PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN. 1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state of the art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers. FORTE X PSTV XVII 97 FORTE X PSTV XVII 97