84 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. 19 - Bankiersproblem : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
5. 12 - Entscheidbarkeitsproblem : 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. 17 - Höhere Petrinetze : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
8. 16 - CPN / Workflow : 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. 13 - Analyse endlicher Erreichbarkeitsgraphen : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
16. 9 - Synchrone Produkte : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
17. 13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
18. 19 - Renew (Wdh.); Bankiersproblem : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich