Runtime enforcement of timed properties revisited.
, , , , , and .
Formal Methods in System Design 45 (3): 381-422 (2014)

This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).