Showing 1 - 15 results of 15 for search 'Lambers, Leen', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior

    Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior by Ermel, Claudia, Gall, Jürgen, Lambers, Leen, Taentzer, Gabriele 1963-

    Published 2011
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Toward bridging the gap between formal semantics and implementation of triple graph grammars

    Toward bridging the gap between formal semantics and implementation of triple graph grammars by Giese, Holger 1970-, Hildebrandt, Stefan 1936-2015, Lambers, Leen

    Published 2010
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Sufficient criteria for applicability and non-applicability of rule sequences

    Sufficient criteria for applicability and non-applicability of rule sequences by Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

    Published 2008
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Sufficient criteria for consistent behavior modeling with refined acticvity diagrams

    Sufficient criteria for consistent behavior modeling with refined acticvity diagrams by Lambers, Leen, Jurack, Stefan, Mehner-Heindl, Katharina 1970-, Runge, Olga, Taentzer, Gabriele 1963-

    Published 2008
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Behavior preservation in model refactoring using DPO transformations with borrowed contexts

    Behavior preservation in model refactoring using DPO transformations with borrowed contexts by Rangel, Guilherme, Lambers, Leen, König, Barbara, Ehrig, Hartmut 1944-2016, Bladan, Paolo

    Published 2008
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Certifying rule based models using graph transformation

    Certifying rule based models using graph transformation by Lambers, Leen

    Published 2010
    Get full text
    Thesis Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Local confluence for rules with nested application conditions based on a new critical pair notion

    Local confluence for rules with nested application conditions based on a new critical pair notion by Lambers, Leen, Ehrig, Hartmut 1944-2016, Habel, Annegret, Orejas, Fernando, Golas, Ulrike 1980-

    Published 2010
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Object flow definition for refined activity diagrams

    Object flow definition for refined activity diagrams by Jurack, Stefan, Lambers, Leen, Mehner-Heindl, Katharina 1970-, Taentzer, Gabriele 1963-, Wierse, Gerd

    Published 2009
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Sufficient criteria for applicability and non-applicability of rule sequences

    Sufficient criteria for applicability and non-applicability of rule sequences by Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

    Published 2008
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Adhesive high-level replacement systems with negative application conditions

    Adhesive high-level replacement systems with negative application conditions by Lambers, Leen

    Published 2007
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  11. 11
    Efficient conflict detection in graph transformation systems by essential critical pairs

    Efficient conflict detection in graph transformation systems by essential critical pairs by Lambers, Leen, Ehrig, Hartmut 1944-2016, Orejas, Fernando

    Published 2006
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Graph transformation 11th International Conference, ICGT 2018 : held as part of STAF 2018, Toulouse, France, June 25–26, 2018 : proceedings

    Graph transformation 11th International Conference, ICGT 2018 : held as part of STAF 2018, Toulouse, France, June 25–26, 2018 : proceedings

    Published 2018
    Other Authors: “…Lambers, Leen…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  13. 13
    Fundamental approaches to software engineering 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

    Fundamental approaches to software engineering 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2023
    Other Authors: “…Lambers, Leen…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  14. 14
    Graph transformation 11th international conference, ICGT 2018, held as a part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings

    Graph transformation 11th international conference, ICGT 2018, held as a part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings

    Published 2018
    Other Authors: “…Lambers, Leen…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Fundamental approaches to software engineering 26th international conference, FASE 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings

    Fundamental approaches to software engineering 26th international conference, FASE 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 20...

    Published 2023
    Other Authors: “…Lambers, Leen…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: