Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
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

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

×
  • 1-1 ل  1 نتائج ل ""Motion compensation""