Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Loading…
Automated reasoning for attributed graph properties
Schneider, Sven, Lambers, Leen, Orejas, Fernando
Published in International journal on software tools for technology transfer (01.11.2018)
Published in International journal on software tools for technology transfer (01.11.2018)
Get full text
Journal Article
Publication
Loading…
Loading…
Metric Temporal Graph Logic over Typed Attributed Graphs
Published in Fundamental Approaches to Software Engineering
(2019)
Get full text
Book Chapter
Loading…
Translation of ATL to AGT and application to a code generator for Simulink
Richa, Elie, Borde, Etienne, Pautet, Laurent
Published in Software and systems modeling (01.02.2019)
Published in Software and systems modeling (01.02.2019)
Get full text
Journal Article
Loading…
Symbolic Model Generation for Graph Properties
Schneider, Sven, Lambers, Leen, Orejas, Fernando
Published in Fundamental Approaches to Software Engineering (2017)
Published in Fundamental Approaches to Software Engineering (2017)
Get full text
Book Chapter
Publication
Loading…
Loading…
Correctness of high-level transformation systems relative to nested conditions
HABEL, ANNEGRET, PENNEMANN, KARL-HEINZ
Published in Mathematical structures in computer science (01.04.2009)
Published in Mathematical structures in computer science (01.04.2009)
Get full text
Journal Article
Loading…
Loading…
Nested Dynamic Condition Response Graphs
Hildebrandt, Thomas, Mukkamala, Raghava Rao, Slaats, Tijs
Published in Fundamentals of Software Engineering (2012)
Published in Fundamentals of Software Engineering (2012)
Get full text
Book Chapter
Loading…
Loading…
Loading…
Dominance of weighted nested split graph networks in connections models
Olaizola, Norma, Valenciano, Federico
Published in International journal of game theory (01.03.2020)
Published in International journal of game theory (01.03.2020)
Get full text
Journal Article
Loading…
Loading…
Loading…
Verifying Graph Programs with First-Order Logic
Wulandari, Gia S., Plump, Detlef
Published in Electronic proceedings in theoretical computer science (03.12.2020)
Published in Electronic proceedings in theoretical computer science (03.12.2020)
Get full text
Journal Article
Loading…
Loading…