"Formal Description Techniques and Protocol Specification, Testing and Verification": FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International ... and Communication Technology, 6, Band 6)
Ein praxisorientiertes Werk über die formale Modellierung von Kommunikationsprotokollen, das theoretische Grundlagen mit konkreten Test- und Verifika ...