UB FFM: Suchergebnisse - Verification of Well-Structured Graph Transformation Systems

1
2
3
4
5
6
7
8
9
weiter
[9]

Verification of Well-Structured Graph Transformation Systems

Stückrath, Jan (Verfasser)

Duisburg : Universitätsbibliothek Duisburg-Essen, 2016

E-Book

Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems

Joshi, Salil (Verfasser)

Duisburg ; Essen : Universität Duisburg-Essen, 2012

E-Book

Verification of infinite-state graph transformation systems via abstraction

Steenken, Dominik

Paderborn : Universitätsbibliothek, 2015

E-Book

Verification of graph transformation systems with k-inductive invariants

Dyck, Johannes (Verfasser)

Potsdam : Universität Potsdam, 2020

E-Book

Abstraction and abstraction refinement in the verification of graph transformation systems

Kozyura, Vitaly (Verfasser)

2009

E-Book

Behavioral congruences and verification of graph transformation systems with applications to model refactoring

Rangel, Guilherme (Verfasser)

2008

E-Book

Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings

Endrullis, Jörg (Herausgeber)

1st ed. 2025

Cham : Springer Nature Switzerland, 2025

E-Book

Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

Engels, Gregor (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Systems and software verification : model-checking techniques and tools

Bérard, Béatrice

Berlin [u.a.] : Springer, 2001

Buch

Graph Transformations : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Ehrig, Hartmut (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Schürr, Andy (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Ehrig, Hartmut (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Introduction to systems biology

Cho̕e, Sang-don (Herausgeber)

Totowa, NJ : Humana Press, 2007

Buch

Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Corradini, Andrea (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Gupta, Aarti (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Margaria, Tiziana (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Margaria, Tiziana (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Grumberg, Orna (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings

Graf, Susanne (Herausgeber)

Berlin : Springer, 2000

Buch

Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Hermanns, Holger (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

1
2
3
4
5
6
7
8
9
weiter
[9]

Treffer 1 - 20 von 164

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken