Clock bound repair for timed systems
From MaRDI portal
Publication:6154576
Recommendations
Cited in
(6)- An automated system repair framework with signal temporal logic
- Explaining safety violations in real-time systems
- Repairing real-time requirements
- Repairing timed automata clock guards through abstraction and testing
- scientific article; zbMATH DE number 7577576 (Why is no real title available?)
- Dynamic causes for the violation of timed reachability properties
This page was built for publication: Clock bound repair for timed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6154576)