Browse by Author "Sun, Mu"
Now showing items 1-3 of 3
Sun, Mu (2014-01-16)Formal methods have revolutionized software reliability and safety, and design patterns has revolutionized software reusability and modularity. However, the preciseness required for formal methods and the flexibility ...
Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, Jose; Olveczky, Peter C. (2009-05-26)In networked cyber physical systems real time global computations, e.g., the supervisory control of a ight control system, require consistent views, consistent actions and synchronized state transitions across net- work ...
Sun, Mu; Rahmaniheris, Maryam; Kim, Cheolgi; Sha, Lui R.; Berlin, Richard B.; Goldman, Julian M. (2012)According to the Institute of Medicine (IOM) close to 100,000 safety-related medical incidents happens each year in US due to preventable medical errors. These preventable medical errors are caused by lack of timely and ...