Treffer 1 - 8 von 8 für Suche 'Lipaczewski, Michael', Suchdauer: 0,40s Treffer weiter einschränken
  1. 1
    Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

    Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica von Lipaczewski, Michael, Ortmeier, Frank, Prosvirnova, Tatiana, Rauzy, Antoine, Struck, Simon


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    On Efficiently Specifying Models for Model Checking

    On Efficiently Specifying Models for Model Checking von Nykolaychuk, Mykhaylo, Lipaczewski, Michael, Liebusch, Tino, Ortmeier, Frank


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Using Tool-Supported Model Based Safety Analysis -- Progress and Experiences in SAML Development

    Using Tool-Supported Model Based Safety Analysis -- Progress and Experiences in SAML Development von Lipaczewski, M., Struck, S., Ortmeier, F.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Multi-objective Optimization of Formal Specifications

    Multi-objective Optimization of Formal Specifications von Struck, S., Lipaczewski, M., Ortmeier, F., Gudemann, M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    On Bringing Object-Oriented Software Metrics into the Model-Based World – Verifying ISO 26262 Compliance in Simulink

    On Bringing Object-Oriented Software Metrics into the Model-Based World – Verifying ISO 26262 Compliance in Simulink von Mäurer, Lukas, Hebecker, Tanja, Stolte, Torben, Lipaczewski, Michael, Möhrstädt, Uwe, Ortmeier, Frank


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    SAML goes eclipse - Combining model-based safety analysis and high-level editor support

    SAML goes eclipse - Combining model-based safety analysis and high-level editor support von Lipaczewski, M., Struck, S., Ortmeier, F.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Tool Supported Model-Based Safety Analysis and Optimization

    Tool Supported Model-Based Safety Analysis and Optimization von Gudemann, M., Lipaczewski, M., Ortmeier, F.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Towards Making Dependability Visual -- Combining Model-Based Design and Virtual Realities

    Towards Making Dependability Visual -- Combining Model-Based Design and Virtual Realities von Gudemann, M., Lipaczewski, M., Ortmeier, F., Schumann, M., Eschbach, R.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: