مهندسی پروتکل ارتباطی

هدف این کتاب، توانمندسازی خواننده برای تسلط بر مهندسی پروتکل‌های ارتباطی است که امروزه به وفور در تلفن‌های همراه، تبلت‌ها، لپ‌تاپ‌ها، لوازم خانگی هوشمند و مراکز داده و ابرهای ارائه‌دهندگان خدمات وجود دارند. خوانندگان دانش نظری و مهارت‌های عملی لازم برای طراحی، پیاده‌سازی، آزمایش و تأیید موفقیت‌آمیز راه‌حل‌های خود را کسب خواهند کرد. مزایای کلیدی نسخه جدید با آخرین استاندارد برای آزمایش انطباق، TTCN-3، همراه با فصل‌های به‌روز شده، همسو است. این کتاب جبر فرآیند CSP و نحوه مدل‌سازی، شبیه‌سازی و تأیید خودکار مدل‌های CSP در PAT را توضیح می‌دهد.