6 Einträge gefunden

1. Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

   1. Padberg, Julia
   2. Hoffmann, Kathrin
   3. Ehrig, Hartmut
   4. Modica, Tony
   5. Biermann, Enrico
   6. Ermel, Claudia

   2007 - ReposIt
2. Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

   1. Ehrig, Hartmut
   2. Hoffmann, Kathrin
   3. Padberg, Julia
   4. Prange, Ulrike
   5. Ermel, Claudia

   2007 - ReposIt
3. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

   1. Weber, Herbert
   2. Ehrig, Hartmut
   3. Reisig, Wolfgang
   4. Borusan, Alexander
   5. Lembke, Sabine
   6. Dehnert, Juliane
   7. Weber, Michael

   2003 - ReposIt
4. Transforming Specification Architectures by GenGED

   1. Bardohl, Roswitha
   2. Ermel, Claudia
   3. Padberg, Julia

   2002 - ReposIt
5. Visual Design of Software Architecture and Evolution based on Graph Transformation

   1. Ermel, Claudia
   2. Bardohl, Roswitha
   3. Padberg, Julia

   2001 - ReposIt
6. Rule-based refinement of high-level nets preserving safety properties

   1. Padberg, Julia
   2. Gajewsky, Magdalena
   3. Ermel, Claudia

   2001 - ReposIt