Treffer 1 - 12 von 12 für Suche 'Pittou, Maria', Suchdauer: 0,64s Treffer weiter einschränken
  1. 1
    Architectures in parametric component-based systems: Qualitative and quantitative modelling

    Architectures in parametric component-based systems: Qualitative and quantitative modelling von Pittou, Maria, Rahonis, George


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Weighted Recognizability over Infinite Alphabets

    Weighted Recognizability over Infinite Alphabets von Pittou, Maria, Rahonis, George

    Veröffentlicht in Acta cybernetica (Szeged)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

    Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions von Pittou, Maria, Manolios, Panagiotis, Reineke, Jan, Tripakis, Stavros

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Architecture Modelling of Parametric Component-Based Systems

    Architecture Modelling of Parametric Component-Based Systems von Pittou, Maria, Rahonis, George


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures

    A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures von Fountoukidou, Christina Chrysovalanti, Pittou, Maria


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions

    Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions von Pittou, Maria, Tripakis, Stavros


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Architectures in parametric component-based systems: Qualitative and quantitative modelling

    Architectures in parametric component-based systems: Qualitative and quantitative modelling von Pittou, Maria, Rahonis, George

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A formal algebraic approach for the quantitative modeling of connectors in architectures

    A formal algebraic approach for the quantitative modeling of connectors in architectures von Fountoukidou, Christina Chrysovalanti, Pittou, Maria

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Weighted Variable Automata over Infinite Alphabets

    Weighted Variable Automata over Infinite Alphabets von Pittou, Maria, Rahonis, George


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Modelling architectures of parametric weighted component-based systems

    Modelling architectures of parametric weighted component-based systems von Pittou, Maria, Rahonis, George

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A formal algebraic approach for the quantitative modeling of connectors in architectures

    A formal algebraic approach for the quantitative modeling of connectors in architectures von Fountoukidou, Christina Chrysovalanti, Pittou, Maria

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Modelling architectures of parametric weighted component-based systems

    Modelling architectures of parametric weighted component-based systems von Pittou, Maria, Rahonis, George

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: