1–7 von 7 Ergebnissen
|

    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 ...

    Distributed Component Systems Modelling with Parallel Composition

    Uygur, Gürkan / Sattler, Sebastian | VDE-Verlag | 2010
    Automotive systems are rising up to huge and complex super-systems (hybrids) distributed all around the automotive vehicle exhibiting multi ...

      Distributed component systems modelling with parallel composition

      Uygur, Gürkan / Sattler, Sebastian | Tema Archiv | 2010
      Automotive systems are rising up to huge and complex super-systems (hybrids) distributed all around the automotive vehicle exhibiting multi ...

    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 ...

    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

    Axiomatischer Modellierungsansatz automotiver Systeme

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