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 ,Revised 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