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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-8 ل  8 نتائج ل ""aircraft landing gear""

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

Subject : verification
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Property Model Methodology: A case study with Modelica

Subjects: Model-Bases Systems Engineering; Validation; VerificationAix-en-Provence; FranceAix-en-Provence, France

  • Source: Proceedings of Tools and Methods of Competitive Engineering ; Tools and Methods of Competitive Engineering (TMCE) ; https://hal.science/hal-01357796 ; Tools and Methods of Competitive Engineering

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

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

Property Model Methodology: A case study with Modelica

Subjects: Model-Bases Systems Engineering; Validation; VerificationAix-en-Provence; FranceAix-en-Provence, France

  • Source: Proceedings of Tools and Methods of Competitive Engineering ; Tools and Methods of Competitive Engineering (TMCE) ; https://hal.science/hal-01357796 ; Tools and Methods of Competitive Engineering

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

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

Property Model Methodology: A case study with Modelica

Subjects: Model-Bases Systems Engineering; Validation; VerificationAix-en-Provence; FranceAix-en-Provence, France

  • Source: Proceedings of Tools and Methods of Competitive Engineering ; Tools and Methods of Competitive Engineering (TMCE) ; https://hal.science/hal-01357796 ; Tools and Methods of Competitive Engineering

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

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

Property Model Methodology: A case study with Modelica

Subjects: Model-Bases Systems Engineering; Validation; VerificationAix-en-Provence; FranceAix-en-Provence, France

  • Source: Proceedings of Tools and Methods of Competitive Engineering ; Tools and Methods of Competitive Engineering (TMCE) ; https://hal.science/hal-01357796 ; Tools and Methods of Competitive Engineering

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

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

Property Model Methodology: A case study with Modelica

Subjects: Model-Bases Systems Engineering; Validation; VerificationAix-en-Provence; FranceAix-en-Provence, France

  • Source: Proceedings of Tools and Methods of Competitive Engineering ; Tools and Methods of Competitive Engineering (TMCE) ; https://hal.archives-ouvertes.fr/hal-01357796 ; Tools and Methods of Competitive

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

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

Property model methodology : a case study with Modelica

Subjects: Model-Based Systems Engineering; Validation; Verification

  • Source: http://hdl.handle.net/10985/11405.

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

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

Property Model Methodology: A case study with Modelica

Subjects: Model-Bases Systems Engineering; Validation; Verification

  • Source: http://hdl.handle.net/10985/11094.

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

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

Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems

Subjects: hybrid system; physical modelling; bond graph

  • Source: ftp://ftp.ida.liu.se/pub/labs/tosca/people/snt/DIMACS.ps.gz

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-8 ل  8 نتائج ل ""aircraft landing gear""