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

نتائج البحث

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

Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

Subjects: [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]Dublin; Ireland

  • Source: Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers ; 13th conference on Design Specification and

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

×
  • 1-1 ل  1 نتائج ل ""formal description""