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

نتائج البحث

Filter
  • 1-1 ل  1 نتائج ل ""aircraft landing gear""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

Subjects: model-checking; real-time systems; landing gear

  • Source: ISSN: 1865-0929 ; Communications in Computer and Information Science ; ABZ 2014 Case Study Track ; 4th International ABZ Conference ; https://hal.science/hal-00967422 ; 4th International ABZ

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

×
  • 1-1 ل  1 نتائج ل ""aircraft landing gear""