Skip to main content

1 Result(s)

within Christian Schwarz Remove this filter Computer Communication Networks Remove this filter Computer Systems Organization and Communication Networks Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Statistische Parametersynthese für hybride Systeme

    Dieser Artikel behandelt das Parametersynthese-Problem für hybride Systeme. Für ein parametrisiertes Modell und eine Sicherheitsbedingung wird eine sichere Teilmenge einer potentiell unsicheren Parametermenge ...

    Christian Schwarz in Funktionale Sicherheit (2013)