توصیف صوری سیستم های احتمالاتی در Z

مراجع و منابع این مقاله:

• C onnnunicating Sequential Processes, Prentice-Hal International, 1985. هه [5] Hoare, ...
• and Probabilistic Behaviour in Reactive Processes, Oxford rnninisnnه [7] Lowe, ...
• موسوی، محمدرضا، «رهیافتی ساختی به مساله‌ی عدم قطعبت در توصیف ...
• هاشمیان، سیدوحید، «توصیف رسمی مبتنی بر مدل سیستم‌های احتمالاتی»، پایان‌نامه‌ی ...
• Bianco, A., and L. de Alfaro, ، Model Checking of ...
• Bertsekas, D.P., and J.N. Tsitsiklis, «Introduction to Probability, } L4cture ...
• http : //www .fornnal .d4nmon .CO .uk/csp.htnl, Feb 2002. ...
• _ Egle, D.M., *Evaluating Larch/C++ as a Specification Language: A ...
• Jones, C.B.., *Systenatic Software Developent Using VDME , Prentice-Hall, 1986 ...
• Morgan, C.., ،Proof Bules for Probabilistic Loops, Oxford University Cornputing ...
• Nissanke, N., ،.Fornnal Specification Techniques and Applications} , S pringer-Verlog ...
• ] Pressnan, R.S., ،Softiware Engineering: A Practitioner's Approach, 4t.h edition, ...
• Z Specifications, Befinemnent, and Proof? , Prentice Hall Europe, Using؛ ...
نمایش کامل مراجع