Show simple item record

dc.contributor.authorChesani F
dc.contributor.authorEnright CG
dc.contributor.authorMontali M
dc.contributor.authorMadden MG
dc.contributor.editor
dc.date.accessioned2017-03-21T12:07:30Z
dc.date.available2017-03-21T12:07:30Z
dc.date.issued2015
dc.identifier.isbn978-3-319-28006-6
dc.identifier.issn0302-9743
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-319-28007-3_5
dc.identifier.urihttp://link.springer.com/chapter/10.1007/978-3-319-28007-3_5
dc.identifier.urihttp://hdl.handle.net/10863/1831
dc.description.abstractMonitoring is an activity in which a running system is observed, so as to become aware of its state. The fact that the system is observed makes monitoring complementary to approaches like formal verification and validation, which are tailored to assess the quality and trustworthiness of the system before the execution.en_US
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofseriesLecture Notes in Computer Science;
dc.rights
dc.subjectInformation storage and retrievalen_US
dc.subjectData mining and knowledge discoveryen_US
dc.subjectHealth informaticsen_US
dc.subjectMathematical logic and formal languagesen_US
dc.subjectInformation systems applications (incl. Internet)en_US
dc.subjectArtificial intelligence (incl. Robotics)en_US
dc.titleMonitoring in the Healthcare Settingen_US
dc.typeBook chapteren_US
dc.date.updated2017-03-09T11:52:28Z
dc.publication.titleFoundations of Biomedical Knowledge Representation: Methods and Applications
dc.language.isiEN-GB
dc.description.fulltextnoneen_US


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record