
در این فایل که با فرمت پی دی اف و در 19 صفحه آماده شده است به مدل سازی و تایید یک برنامه زنده از راه دور با استفاده از نمودار توالی و ابزار بازی موتور پرداخته است.
Modeling and verification of a telecommunication application

در این فایل که با فرمت پی دی اف و در 19 صفحه آماده شده است به مدل سازی و تایید یک برنامه زنده از راه دور با استفاده از نمودار توالی و ابزار بازی موتور پرداخته است.

این فایل pdf به شکل زیبا وگزارشگرانه با بیان جریان های فکری که در معماری ریشه دوانده اند به بیان پیامد هریک می پردازد 
T.A. BROWN
Faculty of Life Sciences
University of Manchester
Manchester
Sixth Edition