1 paper
Charles Dickerson, Rosmira Roslan, Siyuan Ji
Fault analysis and resolution of faults should be part of any end-to-end system development process. This paper is concerned with developing a formal transformation method that map…