Metrics for Timed Systems Testing

Publication
4th International Conference on Distribued Systems (OPODIS)