Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-3 ل  3 نتائج ل ""Motion compensation""

فلترة النتائج

Language : lithuanian فلترة بواسطة : كلمات مفتاحية
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Specification and verification of radiation therapy system with respiratory compensation using Uppaal

Subjects: Simulation; Veri﬿cation; Formal methods

  • Source: International journal of design, analysis and tools for integrated circuits and systems (IJDATICS), Hong Kong : Solari Co, 2012, vol. 3, no. 1, p. 8-13 ; ISSN 2223-523X

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Specification and verification of radiation therapy system with respiratory compensation using Uppaal

Subjects: Simulation; Veri﬿cation; Formal methods

  • Source: International journal of design, analysis and tools for integrated circuits and systems (IJDATICS), Hong Kong : Solari Co, 2012, vol. 3, no. 1, p. 8-13 ; ISSN 2223-523X

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Specification and verification of radiation therapy system with respiratory compensation using Uppaal

Subjects: Simulation; Veri﬿cation; Formal methods

  • Source: International journal of design, analysis and tools for integrated circuits and systems (IJDATICS), Hong Kong : Solari Co, 2012, vol. 3, no. 1, p. 8-13 ; ISSN 2223-523X

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-3 ل  3 نتائج ل ""Motion compensation""