Cover Image

QR Code

Automatic Verification of Parameterized Systems by Over-Approximation.

Bibliographic Details
Main Author:	Jahundovics, Vladislavs.
Format:	eBook
Language:	English
Published:	Linköping : Linkopings Universitet, 2015.
Edition:	1st ed.
Series:	Linköping Studies in Science and Technology. Thesis Series
Subjects:	Electronic books.
Online Access:	Click to View

Similar Items

Parameterized Verification of Synchronized Concurrent Programs.
by: Ganjei, Zeinab.
Published: (2021)

Automatic changing the way America saves /
Published: (2009)

On Infinite-Domain CSPs Parameterized by Solution Cost.
by: Osipov, George.
Published: (2024)

Analytical Approximations for Bayesian Inference.
by: Ardeshiri, Tohid.
Published: (2015)

Automatic milking a better understanding /
Published: (2004)

Verification, validation, and testing of engineered systems
by: Engel, Avner.
Published: (2010)

Approximative Uncertainty in Neural Network Predictions.
by: Malmström, Magnus.
Published: (2023)

Automatic fiscal policies to combat recessions /
by: Seidman, Laurence S.,
Published: (2015)

Machine Learning Using Approximate Inference : Variational and Sequential Monte Carlo Methods.
by: Andersson Naesseth, Christian.
Published: (2018)

Approximating Income Distribution Dynamics Using Aggregate Data
by: Kraay, Aart, et al.
Published: (2017)

Automatic and Explicit Parallelization Approaches for Mathematical Simulation Models.
by: Gebremedhin, Mahder.
Published: (2015)

The Size and Effectiveness of Automatic Fiscal Stabilizers in Latin America
by: Suescún, Rodrigo
Published: (2012)

Automatic Adaptation of Swedish Text for Increased Inclusion.
by: Rennes, Evelina.
Published: (2022)

Independent Verification in Results-Based Financing
by: Loening, Esther, et al.
Published: (2013)

Rwanda : Verification of Performance in Community RBF
by: Renaud, Adrien, et al.
Published: (2016)

Digital Monitoring, Reporting, and Verification Systems and Their Application in Future Carbon Markets
by: World Bank
Published: (2022)

High-Order Finite Difference Approximations for Hyperbolic Problems : Multiple Penalties and Non-Reflecting Boundary Conditions.
by: Frenander, Hannes.
Published: (2017)

High Order Summation-By-parts Based Approximations for Discontinuous and Nonlinear Problems.
by: La Cognata, Cristina.
Published: (2017)

On Joint State Estimation and Model Learning Using Gaussian Process Approximations.
by: Kullberg, Anton.
Published: (2021)

Eigenvalue Analysis and Convergence Acceleration Techniques for Summation-By-parts Approximations.
by: Ruggiu, Andrea Alessandro.
Published: (2019)

Verification of Performance in Result-Based Financing : The Case of Burundi
by: Renaud, Adrien
Published: (2014)

An Independent Verification of Education Sector Data in Indonesia
by: Santoso, Javier Luque, et al.
Published: (2021)

Verification of Performance in Results-Based Financing : The Case of Afghanistan
by: Cashin, Cheryl, et al.
Published: (2016)

Certification, Verification and Governance in Forestry in Southeast Asia
by: World Bank
Published: (2017)

Verification of Performance in Results-Based Financing : The Case of Afghanistan
by: World Bank Group
Published: (2016)

Formal Verification of Tree Ensembles in Safety-Critical Applications.
by: Törnblom, John.
Published: (2020)

Competency Verification Toolkit : Ensuring Competency of Direct Care Providers to Implement the Baby-Friendly Hospital Initiative.
Published: (2020)

Automatic Image Analysis for Decision Support in Rheumatoid Arthritis and Osteoporosis.
by: Kälvesten, Johan.
Published: (2015)

Public Transport Automatic Fare Collection Interoperability Assessing Options for Poland
by: World Bank
Published: (2016)

Pension Funds with Automatic Enrollment Schemes : Lessons for Emerging Economies
by: Rudolph, Heinz P.
Published: (2019)

Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation.
by: Gebremedhin, Mahder.
Published: (2018)

Model-Based Verification of Dynamic System Behavior Against Requirements : Method, Language, and Tool.
by: Schamai, Wladimir.
Published: (2013)

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.
by: Silva, Alexandra.
Published: (2021)

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.
by: Silva, Alexandra.
Published: (2021)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II.
by: Shoham, Sharon.
Published: (2022)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I.
by: Shoham, Sharon.
Published: (2022)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.
by: Enea, Constantin.
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III.
by: Enea, Constantin.
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II.
by: Enea, Constantin.
Published: (2023)

Over the Atlantic : Diplomacy and Paradiplomacy in EU and Latin America.
by: Astroza Suarez, Paulina.
Published: (2023)