Abstract: To assess the accuracy of solutions to the inverse problem of electrocardiography in man, epicardial potentials computed from thoracic potential distributions were compared to potentials ...

Abstract: A set of graph augmentation algorithms is introduced to model a class of timing faults in timed-EFSM models. It is shown that the test sequences generated based on our models can detect 1 ...