يعرض 1 - 5 نتائج من 5 نتيجة بحث عن '"Jimenez-Roa, Lisandro Arturo"', وقت الاستعلام: 0.40s تنقيح النتائج
  1. 1
    Conference
  2. 2
    Academic Journal

    المساهمون: Haxthausen, Anne E., Serwe, Wendelin

    المصدر: Jimenez-Roa , L A , Rusnac , N , Volk , M & Stoelinga , M 2024 , Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics . in A E Haxthausen & W Serwe (eds) , Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings . Lecture Notes in Computer Science (LNCS) , vol. 14952 , Springer , Cham , pp. 80-96 , 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024 , Milan , Italy , 9/09/24 . https://doi.org/10.1007/978-3-031-68150-9_5

  3. 3
    Academic Journal

    المساهمون: NWO, Grant PrimaVera

    المصدر: IEEE Transactions on Dependable and Secure Computing ; volume 20, issue 4, page 3317-3327 ; ISSN 1545-5971 1941-0018 2160-9209

  4. 4
    Book

    المصدر: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page 46-61 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031148347 9783031148354

  5. 5