Verification – alle Bücher, CDs und LPs, Seite 5

Jean-Michel Bruel, Sophie Ebersold, Mariya Naumcheva
Applying Requirements and Business Analysis

Introduction.-- Presentation of the PEGS Approach.- Object-Oriented Requirements.- Quality and Verification Criteria for Requirements.- Case Studies.- Lessons learned.- Appendices.

lieferbar innerhalb 2-3 Wochen

Buch

Pascal Pieper, Rolf Drechsler
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

lieferbar innerhalb 2-3 Wochen

Buch

Simon Bown, Tbd
Verified Near Death Experiences

30 Near-Death Experiences with Startling VerificationIn Verified Near Death Experiences: Proof Of An Afterlife, there are thirty individual profound near-death experiences, each one coupled with startling…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

lieferbar innerhalb 2-3 Wochen

Buch

Model Checking Software

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

Fernando Sansò, Alberta Albertella
The Probabilistic Vision of the Physical World

Probability and Frequency.- 2. The Sources of Stochasticity.- 3. Statistical Inference: The Theory of Estimation.- 4. Statistical Inference: Model Verification.- 5. Finite vs Infinite, Discrete vs Continu…

lieferbar innerhalb 2-3 Wochen

Buch

Weifei Hu
Design Optimization Under Uncertainty

Basic Concepts of Probability Theory .- Uncertainty Modeling .- Reliability Analysis Methods for Time-Independent Problems .- Surrogate Modeling for Reliability Analysis.- Model verification and validatio…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

lieferbar innerhalb 2-3 Wochen

Buch

Samir Tigane, Laid Kahloul, Abdelhamid Mellouk
Enhancing Stochastic Petri Nets with Reconfigurability

This book explores the world of reconfigurable stochastic Petri nets (RSPNs), a powerful method for modeling and verifying complex, dynamic and reconfigurable systems. As modern discrete-event systems bec…

lieferbar innerhalb 1-2 Wochen

Buch

Verified Software. Theories, Tools and Experiments

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

lieferbar innerhalb 2-3 Wochen

Buch

Unlocking the Hidden Potentials of Organization Through Merging of Humans and Digitals

A data model for improving the acquisition process in working with fingerprint readers.- Blockchain in e-commerce supply chain.- Blockchain-based AI model integrity and verification framework.- The Power …

lieferbar innerhalb 2-3 Wochen

Buch

Secure IT Systems

This book constitutes the refereed proceedings of the 29th International Conference on Secure IT Systems, NordSec 2024, held in Karlstad, Sweden, during November 6-7, 2024.The 25 full papers presented in …

lieferbar innerhalb 2-3 Wochen

Buch

Fundamentals of Software Engineering

.- Improved Gas Optimization of Smart Contracts..- Distributing Quantum Circuits Using Formal Methods..- Automated Test Generation: Taxonomy and Tool Applications..- Finding Universally Quantified Heap In…

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations and Practice of Security

.- Preserving privacy and maintaining trust for end users in a complex and numeric cyberspace. .- Another Walk for Monchi. .- An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in …

lieferbar innerhalb 2-3 Wochen

Buch

Soumyajit Mandal
Sensors, Circuits, and Systems for Scientific Instruments

Sensors, Circuits, and Systems for Scientific Instruments: Back-Ends and Applications delves into the advanced world of sensors and circuits tailored for precision measurements. This text builds on founda…

lieferbar in mind. 4 Wochen

Buch

Blockchain Technologies for Smart Circular Economy and Organisational Sustainability

This book provides a descriptive overview of blockchain technology domain, we observe a transformative influence that has surpassed its initial application in Bitcoin and has permeated nearly all industri…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Formal Methods

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10--14, 2025.The 13 full papers and 2 sho…

lieferbar innerhalb 2-3 Wochen

Buch