يعرض 1 - 10 نتائج من 29 نتيجة بحث عن '"Glomsrud, Jon Arne"', وقت الاستعلام: 0.84s تنقيح النتائج
  1. 1
    تقرير
    Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles

    المؤلفون: Glomsrud, Jon Arne, Kemna, Stephanie, Vasanthan, Chanjei, Zhao, Luman, McGeorge, Dag, Pedersen, Tom Arne, Torben, Tobias Rye, Rokseth, Børge, Nguyen, Dong Trong

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2408.03244

    أضف إلى المفضلة
  2. 2
    تقرير
    Modular Assurance of Complex Systems Using Contract-Based Design Principles

    المؤلفون: McGeorge, Dag, Glomsrud, Jon Arne

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Software Engineering

    URL الوصول: http://arxiv.org/abs/2402.12804

    أضف إلى المفضلة
  3. 3
    تقرير
    The Ecosystem of Trust (EoT): Enabling effective deployment of autonomous systems through collaborative and trusted ecosystems

    المؤلفون: Glomsrud, Jon Arne, Bach, Tita Alissa

    مصطلحات موضوعية: Computer Science - Computers and Society

    URL الوصول: http://arxiv.org/abs/2312.00629

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Towards contract-based verification for autonomous vessels

    المؤلفون: Torben, Tobias Rye, Smogeli, Øyvind, Glomsrud, Jon Arne, Utne, Ingrid B., Sørensen, Asgeir J.

    المصدر: In Ocean Engineering 15 February 2023 270

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  5. 5
    كتاب إلكتروني
    A Structured Approach to Risk Assessment of Machine Learning Applications

    المؤلفون: Fackrell, JustinAff6, Glomsrud, Jon ArneAff7, Eisinger, SiegfriedAff6

    المساهمون: Howlett, Robert J., Series EditorAff1, Jain, Lakhmi C., Series EditorAff2, Ball, Andrew, editorAff3, Gelman, Len, editorAff4, Rao, B. K. N., editorAff5

    المصدر: Advances in Asset Management and Condition Monitoring : COMADEM 2019. 166:389-397

    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    A Comparative Study of STPA-Extension and the UFoI-E Method for Safety and Security Co-analysis

    المؤلفون: Carreras Guzman, Nelson H., Zhang, Jin, Xie, Jing, Glomsrud, Jon Arne

    المصدر: In Reliability Engineering and System Safety July 2021 211

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    A framework to model the STPA hierarchical control structure of an autonomous ship

    المؤلفون: Chaal, Meriam, Valdez Banda, Osiris A., Glomsrud, Jon Arne, Basnet, Sunil, Hirdaris, Spyros, Kujala, Pentti

    المصدر: In Safety Science December 2020 132

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Towards simulation-based verification of autonomous navigation systems

    المؤلفون: Pedersen, Tom Arne, Glomsrud, Jon Arne, Ruud, Else-Line, Simonsen, Aleksander, Sandrib, Jarle, Eriksen, Bjørn-Olav Holtung

    المصدر: In Safety Science September 2020 129

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  9. 9
    كتاب
    System Verification, Processes and Testing

    المؤلفون: Perez, Tristan, Morozov, Andrey, Rokseth, Børge, Glomsrud, Jon Arne, Luckuck, Matthew, Myklebust, Thor, Torben, Tobias Valentin Rye, Yang, Xue

    Relation: https://www.ntnu.edu/web/imt/unlock

    الإتاحة: http://hdl.handle.net/11250/2639825

    أضف إلى المفضلة
  10. 10
    كتاب
    Empirical Studies of Methods for Safety and Security Co-analysis of Autonomous Boat

    المؤلفون: Erik Nilsen, Torkildson, Li, Jingyue, Johnsen, Stig Ole, Glomsrud, Jon Arne

    Relation: Norges forskningsråd: 267860

    الإتاحة: http://hdl.handle.net/11250/2585443

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء