Correction to: PolyGraph: a data flow model with frequency arithmetic.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
Works matching IS 14332779 AND DT 2021 AND VI 23 AND IP 3
Results: 8
1
2
Automated model analysis tools and techniques presented at FASE 2019.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
3
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 335, doi. 10.1007/s10009-020-00588-7
- By:
- Publication type:
- Article
4
Cooperative verifier-based testing with CoVeriTest.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 313, doi. 10.1007/s10009-020-00587-8
- By:
- Publication type:
- Article
5
PolyGraph: a data flow model with frequency arithmetic.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 489, doi. 10.1007/s10009-020-00586-9
- By:
- Publication type:
- Article
6
Formal testing of timed graph transformation systems using metric temporal graph logic.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 411, doi. 10.1007/s10009-020-00585-w
- By:
- Publication type:
- Article
7
A logic-based incremental approach to graph repair featuring delta preservation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 369, doi. 10.1007/s10009-020-00584-x
- By:
- Publication type:
- Article
8
Incremental execution of rule-based model transformation: Using dependency injection and standardized model changes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 289, doi. 10.1007/s10009-020-00583-y
- By:
- Publication type:
- Article