83 Einträge gefunden

1. Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018

   1. Köhler-Bußmeier, Michael
   2. Weißbach, Rüdiger
   3. Becker, Steffen
   4. Böhm, Wolfgang
   5. Fahland, Dirk
   6. Fill, Hans-Georg
   7. Heinrich, Robert

   2018 - ReposIt
2. From Hornets to Hybrid Agent and Workflow Systems

   1. Köhler-Bußmeier, Michael
   2. Wagner, Thomas
   3. Moldt, Daniel

   2016 - ReposIt
3. 26 - Parallele Algorithmen : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2015 - Lecture2Go UHH - frei zugänglich
4. 14 - Zustandsraumexplosion : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
5. 8 - Synchrone Produkte (Wdh.)/ Partial order semantics : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
6. 15 - Systemverifikation durch Petrinetze : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
7. 11 - Kantenkonstante Netze (KKN) : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
8. 19 - Bankiersproblem : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
9. 18 - Bankiersproblem/ Renew : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
10. 16 - CPN / Workflow : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
11. 17 - Höhere Petrinetze : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
12. 12 - Entscheidbarkeitsproblem : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
13. 13 - Analyse endlicher Erreichbarkeitsgraphen : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
14. 9 - Partial order semantics : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
15. 10 - Verfeinerung/Vergröberung : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
16. 12 - Elementare Systemeigenschaften von P/T-Netzen : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
17. 20 - Datenbank - Manager; Alternierprotokoll : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
18. 17 - Strukturelle Eigenschaftem von Systemverifikationen : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
19. 11 - Verfeinerung / Vergrößerung : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
20. 10 - Partial order semantics / Petrinetze : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich