يعرض 1 - 10 نتائج من 69 نتيجة بحث عن '"Ueda, Yasushi"', وقت الاستعلام: 0.80s تنقيح النتائج
  1. 1
    مؤتمر
    Detecting Faulty Sequences of FDIR Functions on Spacecrafts Using Model Checking

    المؤلفون: Horikawa, Masatoshi, Kobayashi, Tsutomu, Umeda, Hiroki, Takatsuki, Shoma, Ueda, Yasushi

    المصدر: 2023 IEEE Aerospace Conference Aerospace Conference, 2023 IEEE. :1-10 Mar, 2023

    Relation: 2023 IEEE Aerospace Conference

    أضف إلى المفضلة
  2. 2
    مؤتمر
    System modeling process with SysML assuming the use of models

    المؤلفون: Umeda, Hiroki, Takatsuki, Shoma, Kobayashi, Tsutomu, Ueda, Yasushi, Wada, Atsushi, Komatsu, Yutaka, Ishihama, Naoki, Iwata, Takanori

    المصدر: 2022 IEEE International Symposium on Systems Engineering (ISSE) Systems Engineering (ISSE), 2022 IEEE International Symposium on. :1-8 Oct, 2022

    Relation: 2022 IEEE International Symposium on Systems Engineering (ISSE)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery Functionality

    المؤلفون: Okubo, Naoko, Takatsuki, Shoma, Ueda, Yasushi

    المصدر: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2022 IEEE International Conference on. :68-71 Apr, 2022

    Relation: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

    أضف إلى المفضلة
  4. 4
    مؤتمر
    A Taxonomy to Classify Discrepancy Reports for Space Systems

    المؤلفون: Okubo, Naoko, Ueda, Yasushi, Tonoya, Noboru, Katahira, Masafumi

    المصدر: 2022 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2022 Annual. :1-6 Jan, 2022

    Relation: 2022 Annual Reliability and Maintainability Symposium (RAMS)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    FMEA Focusing on the Interaction Between Physical and Computational Elements in Cyber-Physical Systems

    المؤلفون: Umeda, Hiroki, Namihira, Kohsuke, Okubo, Naoko, Ueda, Yasushi, Morisaki, Shuji, Katahira, Masafumi

    المصدر: 2021 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2021 Annual. :1-7 May, 2021

    Relation: 2021 Annual Reliability and Maintainability Symposium (RAMS)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine Learning

    المؤلفون: Mori, Kenji, Okubo, Naoko, Ueda, Yasushi, Katahira, Masafumi, Amagasa, Toshiyuki

    المصدر: 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2020 IEEE/ACM 15th International Symposium on. :38-44 May, 2020

    Relation: 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  7. 7
    مؤتمر
    A Novel Framework to Assist the Novice in Defining Failure Modes for System-level Software FMEA

    المؤلفون: Okubo, Naoko, Namihira, Kohsuke, Umeda, Hiroki, Ueda, Yasushi, Katahira, Masafumi, Morisaki, Shuji

    المصدر: 2020 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2020 Annual. :1-6 Jan, 2020

    Relation: 2020 Annual Reliability and Maintainability Symposium (RAMS)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    مؤتمر
    Visualization Method to Stimulate Ideas Leading to Failure Mode in Software FMEA

    المؤلفون: Namihira, Kohsuke, Umeda, Hiroki, Kurahayashi, Sho, Sogawa, Kazuhiro, Kakimoto, Kazuki, Okubo, Naoko, Ueda, Yasushi

    المصدر: 2019 IEEE Aerospace Conference Aerospace Conference, 2019 IEEE. :1-9 Mar, 2019

    Relation: 2019 IEEE Aerospace Conference

    أضف إلى المفضلة
  9. 9
    مؤتمر
    IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case

    المؤلفون: Kakimoto, Kazuki, Sasaki, Kensuke, Umeda, Hiroki, Ueda, Yasushi

    المصدر: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ISSREW Software Reliability Engineering Workshops (ISSREW), 2017 IEEE International Symposium on. :32-35 Oct, 2017

    Relation: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Applying an Instructional Design Process to Development of an Independent Verification and Validation Training Program

    المؤلفون: Okubo, Naoko, Nara, Kazuharu, Takemura, Shunsuke, Ueda, Yasushi

    المصدر: 2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET) Software Engineering Education and Training (CSEET), 2016 IEEE 29th International Conference on. :237-240 Apr, 2016

    Relation: 2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET)

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