نتایج جستجو برای: 2 formal
تعداد نتایج: 2625621 فیلتر نتایج به سال:
Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of reasoning about a system’s behaviour. Autonomous systems use to make decisions without human control, often embedded in robotic system, safety-critical, increasingly being introduced into everyday settings. need robust development verification methods, but formal m...
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients then define nine different study strategies (usability testing, laboratory experiments with software human subjects, case studies, qualitative surveys, judgement systematic literature reviews, mapping studies) discuss each of them crucial characteristi...
عهدنامه ی شناسایی و اجرای آرای داوری خارجی 1958 (معروف به عهدنامه ی نیویورک) به شناسایی قرارداد داوری و شناسایی و اجرای آرای داوری پرداخته است. شناسایی قرارداد داوری و شناسایی و اجرای رأی داوری توسط دادگاه، منوط به وجود یک قرارداد داوری است که دارای شروط شکلی مقرر در عهدنامه باشد. شروط شکلی 2 عهدنامه ذکر گردیده است، با وجود این، کشورهای عضو ( قرارداد داوری در ماده ( 2 عهدنامه این ماده را به نحو...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید