10 Einträge gefunden

1. A Survey of Decidability Results for Elementary Object Systems

   1. Köhler-Bußmeier, Michael

   2010 - ReposIt
2. Einfache Regeln, komplexe Dynamiken: Zur Modellierung von Akteursnetzwerken in den internationalen Beziehungen

   1. Köhler-Bußmeier, Michael
   2. Loewen, Howard

   2010 - ReposIt
3. Modelling Distributed Network Security in a Petri Net and Agent-based Approach

   1. Moldt, Daniel
   2. Köhler-Bußmeier, Michael
   3. Theilmann, Axel
   4. Adameit, Simon
   5. Betz, Tobias
   6. Cabac, Lawrence
   7. Hars, Florian

   2010 - ReposIt
4. SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models

   1. Köhler-Bußmeier, Michael
   2. Deliu, Endri

   2010 - ReposIt
5. Liveness of Safe Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - ReposIt
6. Herold : agent-oriented, policy-based network security management

   1. Adameit, Simon
   2. Betz, Tobias
   3. Cabac, Lawrence
   4. Hars, Florian
   5. Hewelt, Marcin
   6. Köhler-Bußmeier, Michael
   7. Moldt, Daniel

   2010 - ReposIt
7. Generating Executable MAS-Prototypes from SONAR Specifications

   1. Köhler-Bußmeier, Michael
   2. Wester-Ebbinghaus, Matthias
   3. Moldt, Daniel

   2010 - ReposIt
8. Complexity of LTL Model-Checking for Safe Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - ReposIt
9. Safeness for Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - ReposIt
10. Modelling an open and controlled system unit as a modular component of systems of systems

    1. Wester-Ebbinghaus, Matthias
    2. Moldt, Daniel
    3. Köhler-Bußmeier, Michael

    2010 - ReposIt