نتایج جستجو برای: 1489 mm
تعداد نتایج: 198219 فیلتر نتایج به سال:
Textual use-cases have been traditionally used at the design stage of development process for describing software functionality from the user’s view. Their advantage is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present Formal Ver...
Received November 29, 2012; revised manuscript received February 6, 2013; accepted March 11, 2013; released online April 17, 2013 Time for primary review: 26 days Center of Cardiology, Inuyama Chuo Hospital, Inuyama, Japan The current case was presented orally at the following meeting: 139th Japanese Circulation Society Tokai Session, held on July 7, 2012, at Act City Hamamatsu, Hamamatsu, Japa...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید