Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499.

Duc Do Tran, Kim Grttner, Frank Oppenheimer, Wolfgang Nebel

Browse the full ETFA paper archive.