Suchergebnisse - Roggenbach, Markus

  • Treffer 1 – 11 von 11
Treffer filtern
  1. 1
    Buchumschlag

    Über abstrakte Charakterisierungen von Bisimulation
    von Roggenbach, Markus 1966-

    Veröffentlicht 1998
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Formal Methods for Software Engineering: Languages, Methods, Application Domains
    von Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Veröffentlicht 2022
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    On the construction of engineering handbooks: with an illustration from the railway safety domain
    von Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus

    Veröffentlicht 2020
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Formal methods for software engineering: Languages, methods, application domains
    von Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger 1959-, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Veröffentlicht 2022
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Recent trends in algebraic development techniques: 25th international workshop, WADT 2020, virtual event, April 29, 2020, revised selected papers

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Roggenbach, Markus …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3–6, 2019, London, United Kingdom

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Roggenbach, Markus …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Recent trends in algebraic development techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Roggenbach, Markus …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Roggenbach, Markus …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Roggenbach, Markus …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Recent trends in algebraic development techniques: 25th international workshop, WADT 2020, Virtual Event, April 29, 2020 : revised selected papers

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Roggenbach, Markus …”
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Applicable formal methods for safe industrial products: essays dedicated to Jan Peleska on the occasion of his 65th birthday

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Roggenbach, Markus …”
    Buch


    Gespeichert in:

Suchwerkzeuge: