Search Results - "vérification"

Suggested Topics within your search.
Refine Results
  1. 101
    Cover Image

    Biometric Systems

    Published 2021
    Subjects: “…online signature verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 102
    Cover Image

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2022
    Subjects: “…correctness, transformation, and verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 103
    Cover Image

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2022
    Subjects: “…correctness, transformation, and verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 104
    Cover Image

    Ultrasonic Cavitation Treatment of Metallic Alloys by Eskin, Dmitry

    Published 2020
    Subjects: “…experimental verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 105
    Cover Image

    Bistatic HF Radar

    Published 2020
    Subjects: “…experiment verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 106
    Cover Image

    Space for Sustainability: Using Data from Earth Observation to Support Sustainable Development Indicators

    Published 2022
    Subjects: “…verification…”
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 107
    Cover Image

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

    Published 2021
    Subjects: “…verification and validation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 108
    Cover Image

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

    Published 2021
    Subjects: “…verification and validation…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 109
    Cover Image

    Applications of Radio Frequency Heating in Food Processing

    Published 2023
    Subjects: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 110
    Cover Image

    Efficient Intelligence with Applications in Embedded Sensing

    Published 2023
    Subjects: “…temporal verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 111
    Cover Image

    Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

    Published 2020
    Subjects: “…verification and validation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 112
    Cover Image

    Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

    Published 2020
    Subjects: “…verification and validation…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 113
    Cover Image

    Trustworthiness in Mobile Cyber Physical Systems

    Published 2021
    Subjects: “…formal verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 114
    Cover Image

    Feature Papers of Forecasting

    Published 2021
    Subjects: “…streamflow forecast verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 115
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    Subjects: “…program analysis, correctness, transformation, and verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 116
    Cover Image

    Functional Polymers in Sensors and Actuators: Fabrication and Analysis

    Published 2020
    Subjects: “…experimental verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 117
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    Subjects: “…program analysis, correctness, transformation, and verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 118
    Cover Image

    CFD Simulations of Marine Hydrodynamics

    Published 2021
    Subjects: “…Verification and Validation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 119
    Cover Image

    District Heating and Cooling Networks by Borge Diez, David

    Published 2020
    Subjects: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 120
    Cover Image

    Fractional-Order System: Control Theory and Applications

    Published 2023
    Subjects: “…verification of pseudo-state enclosures…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: