From timed automata to timed failure propagation graphs.

Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schfer

Browse the full ISORC paper archive.