Visible to the public Biblio

Filters: Author is Anaheed Ayoub  [Clear All Filters]
2018-05-23
Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold Thimbleby.  2013.  Model-based development of the Generic PCA infusion pump user interface within PVS. Proceedings of the 32$^{nd}$ International Conference on Computer Safety, Reliability and Security (SAFECOMP '13).
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee.  2014.  Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.