Zum Inhalt springen

  1. Ringert, Jan Oliver [VerfasserIn] ; Rumpe, Bernhard [AkademischeR BetreuerIn]; Chechik, Marsha [AkademischeR BetreuerIn]

    Analysis and synthesis of interactive component and connector systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  2. Ringert, Jan Oliver [VerfasserIn] ; Rumpe, Bernhard [AkademischeR BetreuerIn]; Chechik, Marsha [AkademischeR BetreuerIn]

    Analysis and synthesis of interactive component and connector systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  3. Ringert, Jan Oliver [VerfasserIn]; Rumpe, Bernhard [VerfasserIn]; Wortmann, Andreas [VerfasserIn]

    MontiArcAutomaton : Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek RWTH Aachen, 2022

  4. Haber, Arne [VerfasserIn]; Ringert, Jan Oliver [VerfasserIn]; Rumpe, Bernhard [VerfasserIn]

    MontiArc - Architectural modeling of interactive distributed and cyber-physical systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: RWTH, 2012

    Erschienen in: Aachener Informatik-Berichte ; 2012,3

  5. Maoz, Shahar [VerfasserIn]; Ringert, Jan Oliver [VerfasserIn]; Rumpe, Bernhard [VerfasserIn]

    An operational semantics for activity diagrams using SMV

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: RWTH Aachen, Department of Computer Science, 2011

    Erschienen in: Aachener Informatik-Berichte ; 2011,7

  6. Bürger, Jens Christoph [VerfasserIn]; Kausch, Hendrik [VerfasserIn]; Raco, Deni [VerfasserIn]; Ringert, Jan Oliver [VerfasserIn]; Rumpe, Bernhard [VerfasserIn]; Stüber, Sebastian [VerfasserIn]; Wiartalla, Marc [VerfasserIn] ; Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik

    Towards an Isabelle Theory for distributed, interactive systems - the untimed case : technical report

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: RWTH Aachen, Department of Computer Science, January 2020

    Erschienen in: Aachener Informatik-Berichte ; 2020,2

  7. Bürger, Jens Christoph [VerfasserIn]; Kausch, Hendrik [VerfasserIn]; Raco, Deni [VerfasserIn]; Ringert, Jan Oliver [VerfasserIn]; Rumpe, Bernhard [VerfasserIn]; Stüber, Sebastian Wolfram [VerfasserIn]; Wiartalla, Marc [VerfasserIn]

    Towards an Isabelle Theory for distributed, interactive systems : the untimed case

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  20. Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver

    Konferenzankündigungen

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2013

    Erschienen in: Softwaretechnik-Trends