Publication

TAT-based Formal Representation of Medical Guidelines : Imatinib Case-study

Giovanni De Micheli, Alena Simalatsar
2012
Conference Papers

Abstract

Computer-based interpretation of medical guide- lines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.

Official source

https://infoscience.epfl.ch/entities/publication/61e20364-cd53-4723-bd03-86c914adfd7a

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

TAT-based Formal Representation of Medical Guidelines : Imatinib Case-study

Chat with Graph Search

Direct Model-checking of SysML Models

Scaling Functional Synthesis and Repair

Allosteric kinase inhibitors