Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.

Eduard Cerny, Fen Jin

Browse the full ICCD paper archive.