Artificial Intelligence in Medicine
Volume 48, Issue 1 , Pages 1-19, January 2010

Adopting model checking techniques for clinical guidelines verification

  • Alessio Bottrighi

      Affiliations

    • Dipartimento di Informatica, Università del Piemonte Orientale “Amedeo Avogadro”, Viale Teresa Michel 11, 15121 Alessandria, Italy
    • ,
  • Laura Giordano

      Affiliations

    • Dipartimento di Informatica, Università del Piemonte Orientale “Amedeo Avogadro”, Viale Teresa Michel 11, 15121 Alessandria, Italy
    • ,
  • Gianpaolo Molino

      Affiliations

    • Azienda Ospedaliera San Giovanni Battista, corso Bramante 88, 10126 Torino, Italy
    • ,
  • Stefania Montani

      Affiliations

    • Dipartimento di Informatica, Università del Piemonte Orientale “Amedeo Avogadro”, Viale Teresa Michel 11, 15121 Alessandria, Italy
    • ,
  • Paolo Terenziani

      Affiliations

    • Dipartimento di Informatica, Università del Piemonte Orientale “Amedeo Avogadro”, Viale Teresa Michel 11, 15121 Alessandria, Italy
    • Corresponding Author InformationCorresponding author. Tel.: +39 0131360174; fax: +39 0131360198.
    • ,
  • Mauro Torchio

      Affiliations

    • Azienda Ospedaliera San Giovanni Battista, corso Bramante 88, 10126 Torino, Italy

Received 11 October 2007; received in revised form 14 September 2009; accepted 14 September 2009.

To access this article, please choose from the options below

Login to an existing account or Register a new account.

  • Purchase this article for 31.50 USD (You must login/register to purchase this article)

    Online access for 24 hours. The PDF version can be downloaded as your permanent record.

  • Subscribe to this title

    Get unlimited online access to this article and all other articles in this title 24/7 for one year.

  • Claim access now

    For current subscribers with Society Membership or Account Number.

  • Visit SciVerse ScienceDirect to see if you have access via your institution.

PII: S0933-3657(09)00136-5

doi:10.1016/j.artmed.2009.09.003

Artificial Intelligence in Medicine
Volume 48, Issue 1 , Pages 1-19, January 2010

Article Tools

* Image Usage & Resolution