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

نتائج البحث

Filter
  • 1-10 ل  155 نتائج ل ""Arrival Manager""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Modeling and Verifying an Arrival Manager Using Event-B

Subjects: System modeling; \eventB method; RefinementNancy; France

  • Source: Rigorous State-Based Methods - 9th International Conference, ABZ 2023 ; https://hal.science/hal-04192812 ; Rigorous State-Based Methods - 9th International Conference, ABZ 2023, May 2023, Nancy,

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

×
  • 1-10 ل  155 نتائج ل ""Arrival Manager""