Autor der Publikation

Approximate Reliability Algebra for Architecture Optimization.

, , und . SAFECOMP, Volume 7612 von Lecture Notes in Computer Science, Seite 279-290. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Determinate composition of FMUs for co-simulation., , , , , , und . EMSOFT, Seite 2:1-2:12. IEEE, (2013)A New Test-Generation Methodology for System-Level Verification of Production Processes., , , , und . Haifa Verification Conference, Volume 7857 von Lecture Notes in Computer Science, Seite 178-192. Springer, (2012)Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors., , , , und . Haifa Verification Conference, Volume 8244 von Lecture Notes in Computer Science, Seite 182-198. Springer, (2013)A Cloud-Based Anomaly Detection for IoT Big Data., , , , und . CPS4CIP, Volume 12618 von Lecture Notes in Computer Science, Seite 87-104. Springer, (2020)Algorithms for Finding Maximum Diversity of Design Variables in Multi-Objective Optimization., , , , und . CSER, Volume 8 von Procedia Computer Science, Seite 171-176. Elsevier, (2012)Approximate Reliability Algebra for Architecture Optimization., , und . SAFECOMP, Volume 7612 von Lecture Notes in Computer Science, Seite 279-290. Springer, (2012)Big data analysis of cloud storage logs using spark., , , , und . SYSTOR, Seite 30:1. ACM, (2017)A Methodology for Training Homomorphic Encryption Friendly Neural Networks., , , und . ACNS Workshops, Volume 13285 von Lecture Notes in Computer Science, Seite 536-553. Springer, (2022)Using a High-Level Test Generation Expert System for Testing In-Car Networks., , , und . DAC, Seite 134:1-134:6. ACM, (2014)Tile Tensors: A versatile data structure with descriptive shapes for homomorphic encryption., , , , , , , , und . CoRR, (2020)