অনুসন্ধান ফলাফলগুলি - "verification"

প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
ফলাফল পরিমার্জন করুন
  1. 1
    প্রচ্ছদ

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

    প্রকাশিত 2022
    বিষয়গুলি: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  2. 2
    প্রচ্ছদ

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

    প্রকাশিত 2022
    বিষয়গুলি: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  3. 3
    প্রচ্ছদ

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    প্রকাশিত 2023
    বিষয়গুলি: “…Software testing & verification bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  4. 4
    প্রচ্ছদ

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    প্রকাশিত 2020
    বিষয়গুলি: “…Software testing & verification bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  5. 5
    প্রচ্ছদ

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    প্রকাশিত 2021
    বিষয়গুলি: “…Software testing & verification bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  6. 6
    প্রচ্ছদ

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    প্রকাশিত 2020
    বিষয়গুলি: “…Software testing & verification bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  7. 7
    প্রচ্ছদ

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    প্রকাশিত 2021
    বিষয়গুলি: “…Software testing & verification bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  8. 8
    প্রচ্ছদ

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    প্রকাশিত 2023
    বিষয়গুলি: “…Software testing & verification bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  9. 9
    প্রচ্ছদ

    Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction অনুযায়ী Weiß, Benjamin

    প্রকাশিত 2011
    বিষয়গুলি: “…software verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  10. 10
    প্রচ্ছদ

    Finite Difference Computing with PDEs: A Modern Software Approach অনুযায়ী Svein Linge

    প্রকাশিত 2017
    বিষয়গুলি: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  11. 11
    প্রচ্ছদ

    From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications অনুযায়ী Schäfer, Uwe

    প্রকাশিত 2014
    বিষয়গুলি: “…verification methods…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  12. 12
    প্রচ্ছদ

    Finite Difference Computing with PDEs: A Modern Software Approach অনুযায়ী Langtangen, Hans Petter

    প্রকাশিত 2017
    বিষয়গুলি: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  13. 13
    প্রচ্ছদ

    Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model অনুযায়ী Jerger, Dorit

    প্রকাশিত 2013
    বিষয়গুলি: “…Model Verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  14. 14
    প্রচ্ছদ

    Finite Difference Computing with PDEs: A Modern Software Approach অনুযায়ী Langtangen, Hans Petter

    প্রকাশিত 2017
    বিষয়গুলি: “…verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  15. 15
    প্রচ্ছদ

    Datenqualität in der medizinischen Forschung Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern অনুযায়ী Nonnemacher, Michael

    প্রকাশিত 2014
    বিষয়গুলি: “…source data verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  16. 16
    প্রচ্ছদ

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation অনুযায়ী Breitner, Joachim

    প্রকাশিত 2016
    বিষয়গুলি: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  17. 17
    প্রচ্ছদ

    The Potential Role for Community Monitoring in MRV and in Benefit Sharing in REDD+

    প্রকাশিত 2015
    বিষয়গুলি: “…reporting and verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  18. 18
    প্রচ্ছদ

    Specification and verification of object-oriented software components অনুযায়ী Roth, Andreas

    প্রকাশিত 2006
    বিষয়গুলি: “…deductive verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  19. 19
    প্রচ্ছদ

    Datenqualität in der medizinischen Forschung Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern অনুযায়ী Nonnemacher, Michael

    প্রকাশিত 2014
    বিষয়গুলি: “…source data verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  20. 20
    প্রচ্ছদ

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

    প্রকাশিত 2022
    বিষয়গুলি: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:

অনুসন্ধান সাধনীগুলি: