8 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Antonio Cau, Stefan Kuhn, James Hoey
In this paper the reversibility of executable Interval Temporal Logic (ITL) specifications is investigated. ITL allows for the reasoning about systems in terms of behaviours which…