Browse by Author "Sun, Mu"

  • 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 ...

    application/pdf

    application/pdfPDF (1Mb)
  • 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 ...

    application/pdf

    application/pdfPDF (376Kb)
  • 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 ...

    application/pdf

    application/pdfPDF (1Mb)