Safety Critical Systems – alle Bücher online kaufen

Ihre Suche nach "safety critical systems" ergab 8 Treffer

Gopinath Karmakar: Development of Safety-Critical Systems, Buch

Gopinath Karmakar, Paritosh Pandya, Ashutosh Kabra, Amol Wakankar
Development of Safety-Critical Systems

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and g…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 74,66*

Artikel ist im Warenkorb

Calin Belta: Adaptive and Learning-Based Control of Safety-Critical Systems, Buch

Calin Belta, Max Cohen
Adaptive and Learning-Based Control of Safety-Critical Systems

Synthesis Lectures on Computer Science

This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems. Safety is critical to many…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Artikel ist im Warenkorb

Applicable Formal Methods for Safe Industrial Products

Lecture Notes in Computer Science -Band 14165

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel ist im Warenkorb

Gennaro S. Rodrigues: Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance, Buch

Gennaro S. Rodrigues, Alberto Bosio, Fernanda L. Kastensmidt
Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance

Synthesis Lectures on Engineering, Science, and Technology

This book introduces the concept of approximate computing for software and hardware designs and its impact on the reliability of embedded systems. It presents approximate computing methods and proposes ap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 98,56*

Artikel ist im Warenkorb

NASA Formal Methods

Lecture Notes in Computer Science -Band 14627

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Artikel ist im Warenkorb

Stefan Schwab
Guaranteed Verification of Dynamic Systems

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 51,00*

Artikel ist im Warenkorb

Sobhan Yassipour Tehrani: Introduction to Software Architecture, Buch

Sobhan Yassipour Tehrani, Kevin Lano
Introduction to Software Architecture

Undergraduate Topics in Computer Science

This unique, accessible textbook gives a comprehensive introduction to software architecture, using clean architecture concepts with agile methods and model-driven development. The work introduces the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 58,66*

Artikel ist im Warenkorb

Nathalie Japkowicz: Machine Learning Evaluation, Buch

Nathalie Japkowicz, Zois Boukouvalas
Machine Learning Evaluation

As machine learning applications gain widespread adoption and integration in a variety of applications, including safety and mission-critical systems, the need for robust evaluation methods grows more urg…

lieferbar ab 31.8.2024.

Buch

EUR 94,72*

Artikel ist im Warenkorb

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.