1–10 von 10 Ergebnissen
|

    Asynchronous Design

    Deeg, Florian / Zhu, Jie / Sattler, Sebastian M. | VDE-Verlag | 2020

    uC-Based ATE for Testing a DUT provided with Real-World Failure Models

    Uygur, Guerkan / Magerl, Wolfgang / Soergel, Wolfgang et al. | VDE-Verlag | 2018

    Melay-to-Moore transformation in safety-critical systems

    Oezguel, Mustafa / Deeg, Florian / Sattler, Sebastian M. | VDE-Verlag | 2017

    Language Based Modeling for Asynchronous Discrete Event Systems

    Uygur, Guerkan / Sattler, Sebastian M. | VDE-Verlag | 2016

    Strukturtreue Modellierung sicherheitskritischer Systeme

    Uygur, Gürkan / Rasim, Feim Ridvan / Özgül, Mustafa et al. | VDE-Verlag | 2015

    Pin-Type Based VLSI Partitioning

    Uygur, Gürkan / Sattler, Sebastian M. | VDE-Verlag | 2014

    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

    Uygur, Gürkan / Sattler, Sebastian M. | Tema Archiv | 2013

    Suggestion for formally Verification of partially specified safety-critical Automotive Systems

    Uygur, Gürkan / Sattler, Sebastian M. | VDE-Verlag | 2012
    Automotive Systems are expanding more and more to huge, complex, modular, adaptive and diverse supersystems (hybrids) executing synchronous ...

    Safety-Critical Systems: Proposal to Access a Partially Defined Analog Structure

    Uygur, Gürkan / Sattler, Sebastian M. | VDE-Verlag | 2012
    automotive and safety critical systems. For a given input, x = (xn-1,xn-2, ...,x0), and output, y = (ym-1,ym-2, ...,y0), of Boolean variables a ...

    Axiomatischer Modellierungsansatz automotiver Systeme

    Uygur, Gürkan / Sattler, Sebastian M. | VDE-Verlag | 2011