Formal Methods – Bücher, LPs, CDs und mehr, Seite 3

Ihre Suche nach "Formal Methods" (Bücher, LPs, CDs und mehr) ergab 50 Treffer.

Bridging the Gap Between AI and Reality

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

sofort lieferbar

Buch

Cyber Security, Cryptology, and Machine Learning

This volume constitutes the proceedings of 9th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2025, in Be'er Sheva, Israel, during December 4--5, 2025.The 17 regular pa…

lieferbar innerhalb 2-3 Wochen

Buch

2nd International Congress of Electrical and Computer Engineering

This proceedings presents the papers included in the 2nd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 22-25 November 2023. The conference …

lieferbar innerhalb 2-3 Wochen

Buch

Iony Patriota deSiqueira
Model-Driven Power System Automation

Engineer, validate, and secure IEC 61850-based protection, automation, and systemsModel-Driven Power System Automation describes formal methods for specifying, designing, commissioning, and maintaining au…

Erscheint bald

Buch

3rd International Congress of Electrical and Computer Engineering

This proceedings presents the papers included in the 3rd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 27-30 November 2024. The conference …

lieferbar innerhalb 2-3 Wochen

Buch

Christina Klüver, Jürgen Klüver, Jörn Schmidt
Modeling Complex Processes Through Nature-Analogous Methods

This book is an introduction to nature-analogous techniques and related formal methods. For each technique, application examples are provided. It covers cellular automata and Boolean networks, evolutionar…

lieferbar innerhalb 2-3 Wochen

Buch

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

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

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10--13, 2025.The 10 full papers, 4 s…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.