Travelled to:1 × Singapore
Collaborated with:W.MacCaull T.S.E.Maibaum
Talks about:guidelin (1) practic (1) tempor (1) metric (1) interv (1) clinic (1) analyz (1) logic (1) decid (1) base (1)
Person: Morteza Yousef Sanati
DBLP: Sanati:Morteza_Yousef
Contributed to:
2014Wrote 1 papers:
- FM-2014-SanatiMM #decidability #guidelines #logic #metric #using
- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic (MYS, WM, TSEM), pp. 611–626.