TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
A total of 76 records were found in 0.281 seconds
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method
WINSYS, 173-180, 2010
Representation and execution of temporal criteria for guideline-based medical decision support at the Intensive Care Unit
BNAIC, 239-246, 2005