Login / Signup
Formal testing of timed graph transformation systems using metric temporal graph logic.
Sven Schneider
Maria Maximova
Lucas Sakizloglou
Holger Giese
Published in:
Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
</>
graph transformation
spatio temporal
social networks
management system
complex systems
graph representation
expert systems
asynchronous circuits
digital circuits
formal methods
temporal constraints
graph theory
graph matching
connected components
predicate logic
temporal information
software engineering