يعرض 1 - 10 نتائج من 2,123 نتيجة بحث عن '"formal method"', وقت الاستعلام: 1.22s تنقيح النتائج
  1. 1
    مؤتمر
    FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection

    المؤلفون: Dipu, Nusrat Farzana, Hossain, Muhammad Monir, Azar, Kimia Zamiri, Farahmandi, Farimah, Tehranipoor, Mark

    المصدر: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) Design Automation Conference (ASP-DAC), 2024 29th Asia and South Pacific. :355-361 Jan, 2024

    Relation: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems

    المؤلفون: Eddine, Charaf, Hameurlain, Nabil, Belala, Faiza

    المصدر: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2023 IEEE International Conference on. :1-6 Dec, 2023

    Relation: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif

    المؤلفون: Mieno, T., Okazaki, H., Arai, K., Futa, Y.

    المصدر: IEEE Access Access, IEEE. 12:31605-31625 2024

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Model Checking TileLink Cache Coherence Protocols By Murphi

    المؤلفون: Li, Zimin, Li, Yongjian, Wang, Kaifan, Ma, Kun, Yu, Shizhen

    المصدر: 2023 IEEE 41st International Conference on Computer Design (ICCD) ICCD Computer Design (ICCD), 2023 IEEE 41st International Conference on. :30-37 Nov, 2023

    Relation: 2023 IEEE 41st International Conference on Computer Design (ICCD)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    A highly reliable power saving method for IoT devices in a wireless environment

    المؤلفون: Choi, Minsuk, Lim, Jaedeok

    المصدر: 2023 14th International Conference on Information and Communication Technology Convergence (ICTC) Information and Communication Technology Convergence (ICTC), 2023 14th International Conference on. :1098-1100 Oct, 2023

    Relation: 2023 14th International Conference on Information and Communication Technology Convergence (ICTC)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    Formal Specification of an Autonomous Vehicle Group Control System with the Hybrid OTS/CafeOBJ Method

    المؤلفون: Wang, Yifan, Nakamura, Masaki, Sakakibara, Kazutoshi

    المصدر: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE) CSCE Computer Science, Computer Engineering, & Applied Computing (CSCE), 2023 Congress in. :2169-2176 Jul, 2023

    Relation: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)

    أضف إلى المفضلة
  7. 7
    مؤتمر
    Formal Verification of Authenticated Encryption with Associated Data with Tamarin Prover

    المؤلفون: Mieno, Takehiko, Okazaki, Hiroyuki, Arai, Kenichi, Futa, Yuichi

    المصدر: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE) CSCE Computer Science, Computer Engineering, & Applied Computing (CSCE), 2023 Congress in. :2465-2471 Jul, 2023

    Relation: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)

    أضف إلى المفضلة
  8. 8
    مؤتمر
    Conversion of Timing Diagram to Event-B

    المؤلفون: Liu, Xiao-Ying, Zou, Sheng-Rong, Geng, Xue, Yao, Ju-Yi

    المصدر: 2023 8th International Conference on Computational Intelligence and Applications (ICCIA) ICCIA Computational Intelligence and Applications (ICCIA), 2023 8th International Conference on. :69-73 Jun, 2023

    Relation: 2023 8th International Conference on Computational Intelligence and Applications (ICCIA)

    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation

    المؤلفون: Khairullah, Shawkat SabahAff1, IDs10836024061266_cor1

    المصدر: Journal of Electronic Testing: Theory and Applications. :1-15

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    A railway norms application for small traffic railway lines autonomous vehicle

    المؤلفون: Collart-Dutilleul, Simon, Bon, Philippe, Hamidi, Amine

    المصدر: 2023 International Conference on Control, Automation and Diagnosis (ICCAD) Control, Automation and Diagnosis (ICCAD), 2023 International Conference on. :1-6 May, 2023

    Relation: 2023 International Conference on Control, Automation and Diagnosis (ICCAD)

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