Numerical Software Verification More Books Like This

Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2020
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2018
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
2022
Intelligent Systems Intelligent Systems
Intelligent Systems
2021
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2019
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2022
Machine Learning and Knowledge Discovery in Databases Machine Learning and Knowledge Discovery in Databases
Machine Learning and Knowledge Discovery in Databases
2023
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2020
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2018
Optimization and Learning Optimization and Learning
Optimization and Learning
2021
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Evolutionary Computation in Combinatorial Optimization Evolutionary Computation in Combinatorial Optimization
Evolutionary Computation in Combinatorial Optimization
2021
Parallel Problem Solving from Nature – PPSN XVII Parallel Problem Solving from Nature – PPSN XVII
Parallel Problem Solving from Nature – PPSN XVII
2022
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2021