|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A logic-based incremental approach to graph repair featuring delta preservation |
Schneider, Sven |
|
23 | 3 |
p. 369-410 |
artikel |
|
| 2 | Automated model analysis tools and techniques presented at FASE 2019 |
Hähnle, Reiner |
|
23 | 3 |
p. 285-287 |
artikel |
|
| 3 | Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars |
Fritsche, Lars |
|
23 | 3 |
p. 335-368 |
artikel |
|
| 4 | Cooperative verifier-based testing with CoVeriTest |
Beyer, Dirk |
|
23 | 3 |
p. 313-333 |
artikel |
|
| 5 | Correction to: PolyGraph: a data flow model with frequency arithmetic |
Dubrulle, Paul |
|
23 | 3 |
p. 519 |
artikel |
|
| 6 | Formal testing of timed graph transformation systems using metric temporal graph logic |
Schneider, Sven |
|
23 | 3 |
p. 411-488 |
artikel |
|
| 7 | Incremental execution of rule-based model transformation |
Boronat, Artur |
|
23 | 3 |
p. 289-311 |
artikel |
|
| 8 | PolyGraph: a data flow model with frequency arithmetic |
Dubrulle, Paul |
|
23 | 3 |
p. 489-517 |
artikel |
8 gevonden resultaten