Resultados de procura - "Computer software Verification."

Limitar resultados
  1. Imaxe de Portada

    Certified Synthesis for Interactive Media: High Assurance Metroidvania Generation por Mawhorter, Ross Edward

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  2. Imaxe de Portada

    A Technique to Support Incremental Construction and Verification in Component-Based Software Development por PDF

    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  3. Imaxe de Portada

    Verifiable measurement-based quantum random sampling with trapped ions

    Publicado en Nature Communications (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  4. Imaxe de Portada

    A BUILT-UP AND TEST OF MIR SYSTEM OF SHARING VERIFICATION SOFTWARE APPLIED IN MUSIC EDUCATION por Lee, Kuo-Ying

    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  5. Imaxe de Portada

    Construction of the Learner-Centered Teaching College English Teaching Mode Under Big Data Technology por Bai, Ge

    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  6. Imaxe de Portada

    Formal Verification of Transcompiled Mobile Applications Using First-Order Logic por Muhammad Ahmad Ahmad

    Publicado en Technologies (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  7. Imaxe de Portada

    Scaling Deductive Verification for Real-World Cloud Data Security por Li, Xupeng

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  8. Imaxe de Portada

    Implementation Efficiency of Falcon Digital Signature Scheme on Arty-7 XC7A35T Board por Tat-Thang, Nguyen

    Publicado en Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  9. Imaxe de Portada

    Real-Time Monitoring of LTL Properties in Distributed Stream Processing Applications por Aladib, Loay

    Publicado en Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  10. Imaxe de Portada

    A Web-based Framework for Unified Channel Access and Data Integrity in Smart Electricity Billing por Hong, Huawei

    Publicado en Journal of Web Engineering (2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  11. Imaxe de Portada

    A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis † por Paduraru Ciprian

    Publicado en Machines (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  12. Imaxe de Portada

    Digitally-Driven Surgical Guide for Alveoloplasty Prior to Immediate Denture Placement por Badr Zaid

    Publicado en Dentistry Journal (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  13. Imaxe de Portada

    Simulation-Based Assessment of Evacuation Efficiency in Sports Stadiums: Insights from Case Studies por Yang Chieh-Hsiung

    Publicado en Fire (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  14. Imaxe de Portada

    Acer Swift 16 AI: A big, beautiful OLED laptop por Hachman, Mark

    Publicado en PCWorld (Online) (Mar 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  15. Imaxe de Portada

    Icing on the Cake: Automatic Code Summarization at Ericsson por Sridhara, Giriprasad

    Publicado en arXiv.org (Aug 19, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Engadir a favoritos
    Gardado en:
  16. Imaxe de Portada

    CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph por Xu, Hanxiang

    Publicado en arXiv.org (Dec 20, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Engadir a favoritos
    Gardado en:
  17. Imaxe de Portada

    Differential fuzz testing to detect tampering in sensor systems and its application to arms control authentication por Vavrek, Jayson R

    Publicado en arXiv.org (Apr 9, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Engadir a favoritos
    Gardado en:
  18. Imaxe de Portada

    Software Engineering Methods For AI-Driven Deductive Legal Reasoning por Padhye, Rohan

    Publicado en arXiv.org (Jun 27, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Engadir a favoritos
    Gardado en:
  19. Imaxe de Portada

    Customizing Static Analysis using Codesearch por Hayoun, Avi

    Publicado en arXiv.org (Apr 19, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Engadir a favoritos
    Gardado en:
  20. Imaxe de Portada

    Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches por Braberman, Víctor A

    Publicado en arXiv.org (Sep 8, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Engadir a favoritos
    Gardado en:

Ferramentas de procura: