Using Temporal Logic to Verify the Blood Supply Chain Safety
N. Hazzazi*; J. Albasri†; B. Yu*; D. Wijesekera*; P. Costa‡ * Department of Computer Science, George Mason University, Fairfax, VA, United States† Prince Sultan Military Medical City, Riyadh, Saudi Arabia‡ Department of Systems Engineering and Operations Research, George Mason University, Fairfax, VA, United States
Abstract
The Food and Drug Administration (FDA) in the USA, AABB (formerly known as the American Association of Blood Banks) and regulatory bodies that hold jurisdiction in other countries continuously update blood transfusion safety mandates. Verifying blood bank processes for safety takes labor and time. We automate this verification process by modeling ...
Get Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
