Acep Taryana

Deadlock Verification of the Room Allocation Workflow in an EHR System Using UPPAAL

This study proposes a rigorous formal verification methodology based on a triple-constraint framework to prove system reliability prior to the implementation phase, and firmly establishes the proposed methodology as a highly robust and practically viable solution for evaluating complex, resource-contended clinical work...