@article { author = {Babamiri, S.M. and Jalili, S.}, title = {EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE}, journal = {Sharif Journal of Civil Engineering}, volume = {دوره 23}, number = {38 - ویژه مهندسی برق و کامپیوتر}, pages = {81-101}, year = {2007}, publisher = {Sharif University of Technology}, issn = {2676-4768}, eissn = {2676-4776}, doi = {}, abstract = {-}, keywords = {-}, title_fa = {توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی}, abstract_fa = {-}, keywords_fa = {-}, url = {https://sjce.journals.sharif.edu/article_249.html}, eprint = {https://sjce.journals.sharif.edu/article_249_c4875a0ed0284aacbd29fdfe4e06be2a.pdf} }