6 Einträge gefunden

1. Integrating verification into the Paose approach

   1. Hewelt, Marcin
   2. Wagner, Thomas
   3. Cabac, Lawrence

   2011 - Forschungsinformationssystem der UHH
2. Modelling distributed network security in a petri net- and agent-based approach

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

   2010 - Forschungsinformationssystem der UHH
3. Herold - agent-oriented, policy-based network security management

   1. Adameit, Simon
   2. Betz, Tobias
   3. Hewelt, Marcin
   4. Moldt, Daniel
   5. Quenum, José
   6. Wagner, Thomas
   7. Wüstenberg, Lars

   2010 - Forschungsinformationssystem der UHH
4. 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
5. 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
6. UnitEd - a petri net based framework for modeling complex and adaptive systems

   1. Hewelt, Marcin
   2. Wester-Ebbinghaus, Matthias

   2009 - Forschungsinformationssystem der UHH