Cover Image

QR Code

Model-Based Verification of Dynamic System Behavior Against Requirements : Method, Language, and Tool.

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

Similar Items

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

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

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

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

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

Automatic Verification of Parameterized Systems by Over-Approximation.
by: Jahundovics, Vladislavs.
Published: (2015)

Verification in Results-Based Financing (RBF) : The Case of the United Kingdom
by: Cashin, Cheryl, et al.
Published: (2013)

Verification of Performance in Results-Based Financing Programs : The Case of Plan Nacer in Argentina
by: Perazzo, Alfredo, et al.
Published: (2015)

Verification of Performance in Results-Based Financing : The Case of Panama's PSPV Program
by: Perazzo, Alfredo, et al.
Published: (2016)

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

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

Against utility-based economics on a life-based approach /
by: Korkotsides, Anastasios S., 1950-
Published: (2013)

Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration.
by: Mengist, Alachew.
Published: (2019)

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

Monitoring systemic risk based on dynamic thresholds
by: Lund-Jensen, Kasper.
Published: (2012)

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

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

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

Modeling software behavior : a craftsman's approach /
by: Jorgensen, Paul,
Published: (2009)

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

Partnerships Against AIDS : A Southern African Experience in Changing Sexual Behavior
by: Chirenda, Patience, et al.
Published: (2012)

Systems thinking and systems dynamics
Published: (2007)

Financial Constraints, Working Capital and the Dynamic Behavior of the Firm
by: Chan, Rosanna
Published: (2014)

Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements /
by: Daw Perez, Zamira Angelica,
Published: (2014)

Dynamic factor models /
Published: (2016)

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)

Strategic modelling and business dynamics : a feedback systems approach /
by: Morecroft, John D. W.
Published: (2015)

Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology.
by: Böhm, Wolfgang.
Published: (2020)

Crop systems dynamics an ecophysiological simulation model for genotype-by-environment interactions /
by: Xinyou, Yin.
Published: (2005)

Modeling aggregate behavior and fluctuations in economics stochastic views of interacting agents /
by: Aoki, Masanao.
Published: (2002)

Verification of Performance in Results-Based Financing : The Case of Community and Demand-Side RBF in Rwanda
by: Renaud, Adrien, et al.
Published: (2014)

Verification of Performance in Results-Based Financing : The Case of Panama's Health Protection for Vulnerable Populations (PSPV) Program
by: Perazzo, Alfredo, et al.
Published: (2016)

Verification in Results-Based Financing for Health : Summary of Findings and Recommendations from a Cross-Case Analysis
by: Vergeer, Petronella, et al.
Published: (2017)

Against their will the history and geography of forced migrations in the USSR /
by: Polian, P. M.
Published: (2004)