Search Results - (("verification 33rd") OR ("verification 4.1"))*

Search alternatives:
"verification 33rd" » "verification 35th", "verification 3.1", "verification 3.2"
"verification 4.1" » "verification 1", "verification _", "verification 5"

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

by Silva, Alexandra.
Published 2021

Format:
Click to View

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.

by Silva, Alexandra.
Published 2021

Format:
Click to View

Understanding Risks and Uncertainties in Energy and Climate Policy : Multidisciplinary Methods and Tools for a Low Carbon Society.

by Doukas, Haris.
Published 2018

Format:
Table of Contents: “... Currency -- 3.4 Financial Mechanism -- 3.5 Risk Assessments -- 4 Analytical Verification -- 4.1 Premise...”
Click to View

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice...

by Sankaranarayanan, Sriram.
Published 2023

Format:
Table of Contents: “... The Occlusion Robustness Verification Problem -- 4 SMT-Based Occlusion Robustness Verification -- 4.1 A Naïve...”
Click to View

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

by Lambers, Leen.
Published 2023

Format:
Table of Contents: “... and Verification -- 4.1 Composition Requirements -- 4.2 OS Requirements -- 4.3 Verifying the Requirements -- 4.4 OS...”
Click to View

Intelligent Secure Trustable Things.

by Karner, Michael.
Published 2024

Format:
Table of Contents: “....2 Message Library -- 3.3 ROS2 Support -- 4 Verification -- 4.1 Test Methodology -- 4.2 Results -- 4...”
Click to View

Narrow Search