
Abstraction and analysis of clinical guidance trees
Keywords: مراقبت سلامت; CGT, clinical guidance tree; Decision tree; Formal method; Healthcare; Lotos, language of temporal ordering specification