Formal testing of timed graph transformation systems using metric temporal graph logic
Work
Year: 2021
Type: article
Abstract: Embedded real-time systems generate state sequences where time elapses between state changes. Ensuring that such systems adhere to a provided specification of admissible or desired behavior is essent... more
Institutions Hasso Plattner Institute, University of Potsdam
Cites: 86
Cited by: 14
Related to: 10
FWCI: 3.281
Citation percentile (by year/subfield): 90.35
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,990