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
Conference

Study On Public Acceptance of EVTOL: Safety & Noise

Subjects: DE

  • Source: Bonn : Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V. 16 Seiten (2024). doi:10.25967/610319 ; Deutscher Luft- und Raumfahrtkongress 2023 / DGLR, Deutsche Gesellschaft für

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

×
Conference

Unbounded-Time Safety Verification of Stochastic Differential Dynamics

Subjects: barrier certificates; failure probability bound; stochastic differential equations (SDEs)DE

  • Source: Cham, Switzerland : Springer, Lecture notes in computer science 12225, 327-348 (2020). doi:10.1007/978-3-030-53291-8_18 ; Computer Aided Verification : 32nd International Conference, CAV 2020, Los

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

×
Academic Journal

On the applicability of hybrid systems safety verification tools from the automotive perspective

Subjects: info:eu-repo/classification/ddc/004DE

  • Source: International journal on software tools for technology transfer : STTT 26(1), 49-78 (2023). doi:10.1007/s10009-023-00707-0

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

×
  • 1-10 ل  437 نتائج ل ""SAFETY""