ebook,Hartmut Knig,Protocol Engineering,Springer,ASN.1; LOTOS; MSC; SDL; TTCN-2; TTCN-3; UML 2; algebraic verification; cTLA; communication protocols; conformance test; finite state machines; formal description methods; formal description techniques; internet protocol stack; interoperability test; layered architectures; model checking; performance evaluation; petri net analysis; petri nets; process calculi; protocol design; protocol functions; protocol implementation methods; protocol life cycle; protocol specification; protocol testing; protocol verification; protocols; reachability analysis; services; temporal logics,ASN.1;LOTOS;MSC;SDL;TTCN-2;TTCN-3;UML 2;algebraic verification;cTLA;communication protocols;conformance test;finite state machines;formal description methods;formal description techniques;internet protocol stack;interoperability test;layered architectures;model checking;performance evaluation;petri net analysis;petri nets;process calculi;protocol design;protocol functions;protocol implementation methods;protocol life cycle;protocol specification;protocol testing;protocol verification;protocols;reachability analysis;services;temporal logics,B,COMPUTER,COMPUTERS / Networking / Hardware,COMPUTERS / Software Development & Engineering / General,Computer Applications,Computer Books: General,Computer Communication Networks,Computer Engineering,Computer Science,Computer/General,Computers,Computers - Languages / Programming,Computers/Computer Engineering,Computers/Networking - Hardware,Informatik, EDV / Datenkommunikation, Netzwerke,Network hardware,Networking - Hardware,Non-Fiction,Operating systems,Scholarly/Graduate,Software Development & Engineering - General,Software Engineering,Software Engineering/Programming and Operating Systems,Textbooks (Various Levels),Western Europe,COMPUTERS / Networking / Hardware,COMPUTERS / Software Development & Engineering / General,Computer Engineering,Computers/Computer Engineering,Computers/Networking - Hardware,Networking - Hardware,Software Development & Engineering - General,Computers - Languages / Programming,Computers,Computer Books: General,Network hardware,Informatik, EDV / Datenkommunikation, Netzwerke" />