UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Cost-Effectiveness Analysis in Telehealth: A Comparison between Home Telemonitoring, Nurse Telephone Support, and Usual Care in Chronic Heart Failure Management

Value in health, 2018-07, Vol.21 (7), p.772-782

2018

Volltextzugriff (PDF)

Impact of hospitalisation on health-related quality of life in patients with chronic heart failure

Health and quality of life outcomes, 2020-08, Vol.18 (1), p.262-262, Article 262

2020

Volltextzugriff (PDF)

Value of information analysis in telehealth for chronic heart failure management

PloS one, 2019-06, Vol.14 (6), p.e0218083-e0218083

2019

Volltextzugriff (PDF)

Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF)

BMC medical informatics and decision making, 2017-10, Vol.17 (1), p.145-145, Article 145

2017

Volltextzugriff (PDF)

Care coordination in a business-to-business and a business-to-consumer model for telemonitoring patients with chronic diseases

International journal of care coordination, 2017-12, Vol.20 (4), p.135-147

2017

Volltextzugriff (PDF)

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Koymans, Ron

1992

Volltextzugriff (PDF)

Specifying real-time properties with metric temporal logic

Real-time systems, 1990-11, Vol.2 (4), p.255-299

Koymans, Ron

1990

Volltextzugriff (PDF)

Assessment of a Business-to-Consumer

BMC medical informatics and decision making, 2017-10, Vol.17 (1)

2017

Volltextzugriff (PDF)

COST-EFFECTIVENESS OF TELEHEALTH INTERVENTIONS FOR CHRONIC HEART FAILURE PATIENTS: A LITERATURE REVIEW

International journal of technology assessment in health care, 2014-01, Vol.30 (1), p.59-68

2014

Volltextzugriff (PDF)

Early warning systems for the management of chronic heart failure: a systematic literature review of cost-effectiveness models

Expert review of pharmacoeconomics & outcomes research, 2018-03, Vol.18 (2), p.161-175

2018

Volltextzugriff (PDF)

Extending the Business-to-Business (B2B) Model Towards a Business-to-Consumer (B2C) Model for Telemonitoring Patients with Chronic Heart Failure (CHF)

Journal of business models, 2018-01, Vol.6 (3), p.106-129

2018

Volltextzugriff (PDF)

Specifying message passing systems requires extending temporal logic

Temporal Logic in Specification, 2005, p.213-223

2005

Volltextzugriff (PDF)

A Small Step for Mankind

Concurrency, Compositionality, and Correctness, p.66-73

Volltextzugriff (PDF)

(Real) time: A philosophical perspective

Real-Time: Theory in Practice, 1992, p.353-370

1992

Volltextzugriff (PDF)

Design and analysis of dynamic leader election protocols in broadcast networks

Distributed computing, 1996-02, Vol.9 (4), p.157-171

1996

Volltextzugriff (PDF)

Message passing systems

Specifying Message Passing and Time-Critical Systems with Temporal Logic, 2005, p.65-98

Koymans, Ron

2005

Volltextzugriff (PDF)

A review of modal and temporal logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic, 2005, p.13-37

Koymans, Ron

2005

Volltextzugriff (PDF)

Introduction

Specifying Message Passing and Time-Critical Systems with Temporal Logic, 2005, p.1-5

Koymans, Ron

2005

Volltextzugriff (PDF)

Polymodal logics with inequality

Specifying Message Passing and Time-Critical Systems with Temporal Logic, 2005, p.39-63

Koymans, Ron

2005

Volltextzugriff (PDF)

Time-critical systems

Specifying Message Passing and Time-Critical Systems with Temporal Logic, 2005, p.99-142

Koymans, Ron

2005

Volltextzugriff (PDF)

Summary and concluding remarks

Specifying Message Passing and Time-Critical Systems with Temporal Logic, 2005, p.143-150

Koymans, Ron

2005

Volltextzugriff (PDF)

How to specify

Specifying Message Passing and Time-Critical Systems with Temporal Logic, 2005, p.7-11

Koymans, Ron

2005

Volltextzugriff (PDF)

Specifying message passing systems requires extending temporal logic

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, 1987, p.191-204

1987

Volltextzugriff (PDF)

Paradigms for real-time systems

Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988, p.159-174

1988

Volltextzugriff (PDF)

Examples of a real-time temporal logic specification

The Analysis of Concurrent Systems, 1985, p.231-251

1985

Volltextzugriff (PDF)

1 – 25 von 27

Menü

Weitere Dienste

Einstellungen

Cost-Effectiveness Analysis in Telehealth: A Comparison between Home Telemonitoring, Nurse Telephone Support, and Usual Care in Chronic Heart Failure Management

Impact of hospitalisation on health-related quality of life in patients with chronic heart failure

Value of information analysis in telehealth for chronic heart failure management

Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF)

Care coordination in a business-to-business and a business-to-consumer model for telemonitoring patients with chronic diseases

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Specifying real-time properties with metric temporal logic

Assessment of a Business-to-Consumer

COST-EFFECTIVENESS OF TELEHEALTH INTERVENTIONS FOR CHRONIC HEART FAILURE PATIENTS: A LITERATURE REVIEW

Early warning systems for the management of chronic heart failure: a systematic literature review of cost-effectiveness models

Extending the Business-to-Business (B2B) Model Towards a Business-to-Consumer (B2C) Model for Telemonitoring Patients with Chronic Heart Failure (CHF)

Specifying message passing systems requires extending temporal logic

A Small Step for Mankind

(Real) time: A philosophical perspective

Design and analysis of dynamic leader election protocols in broadcast networks

Message passing systems

A review of modal and temporal logic

Introduction

Polymodal logics with inequality

Time-critical systems

Summary and concluding remarks

How to specify

Specifying message passing systems requires extending temporal logic

Paradigms for real-time systems

Examples of a real-time temporal logic specification

Suchergebnisse filtern