Zum Inhalt springen

Koymans, Ronald L. [Verfasser:in]

Specifying message passing and time-critical systems with temporal logic

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1992

Erschienen in: Lecture notes in computer science ; 651
Koymans, Ronald L. [Verfasser:in]

Specifying message passing and time-critical systems with temporal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1989
Koymans, Ron [Verfasser:in]

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

Erschienen in: Lecture notes in computer science ; 651
Koymans, Ron [Verfasser:in]

Specifying message passing and time-critical systems with temporal logic

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1992 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 65100
Koymans, Ron

Real-Time: Theory in Practice: (Real) time: A philosophical perspective

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1992

Erschienen in: Real-Time: Theory in Practice (1992), Seite 353-370
Koymans, Ron

Specifying real-time properties with metric temporal logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1990

Erschienen in: Real-Time Systems, 2 (1990) 4, Seite 255-299
Koymans, Ron

Temporal Logic in Specification: Specifying message passing systems requires extending temporal logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1989

Erschienen in: Temporal Logic in Specification (1989), Seite 213-223
Koymans, Ron; Roever, Willem P.

The Analysis of Concurrent Systems: Examples of a real-time temporal logic specification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: The Analysis of Concurrent Systems (1985), Seite 231-251
Huizing, Cornelis; Koymans, Ron; Kuiper, Ruurd

Concurrency, Compositionality, and Correctness: A Small Step for Mankind

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Concurrency, Compositionality, and Correctness (2010), Seite 66-73
Koymans, Ron; Kuiper, Ruurd; Zijlstra, Erik

Lecture Notes in Computer Science: Paradigms for real-time systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1988

Erschienen in: Lecture Notes in Computer Science (1988), Seite 159-174
Brunekreef, Jacob; Katoen, Joost-Pieter; Koymans, Ron; Mauw, Sjouke

Design and analysis of dynamic leader election protocols in broadcast networks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1996

Erschienen in: Distributed Computing, 9 (1996) 4, Seite 157-171
Albuquerque de Almeida, Fernando; Al, Maiwenn J.; Koymans, Ron; Riistama, Jarno; Pauws, Steffen; Severens, Johan L.

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2020

Erschienen in: Health and Quality of Life Outcomes, 18 (2020) 1
Grustam, Andrija S.; Buyukkaramikli, Nasuh; Koymans, Ron; Vrijhoef, Hubertus J. M.; Severens, Johan L.

Value of information analysis in telehealth for chronic heart failure management

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Public Library of Science (PLoS), 2019

Erschienen in: PLOS ONE, 14 (2019) 6, Seite e0218083
Grustam, Andrija S.; Vrijhoef, Hubertus J. M.; Koymans, Ron; Hukal, Philipp; Severens, Johan L.

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2017

Erschienen in: BMC Medical Informatics and Decision Making, 17 (2017) 1
Grustam, Andrija S; Vrijhoef, Hubertus; Cordella, Antonio; Koymans, Ron; Severens, Johan L

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

SAGE Publications, 2017

Erschienen in: International Journal of Care Coordination, 20 (2017) 4, Seite 135-147
Grustam, Andrija S.; Severens, Johan L.; van Nijnatten, Jan; Koymans, Ron; Vrijhoef, Hubertus J. M.

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2014

Erschienen in: International Journal of Technology Assessment in Health Care, 30 (2014) 1, Seite 59-68
Grustam, Andrija S.; Severens, Johan L.; De Massari, Daniele; Buyukkaramikli, Nasuh; Koymans, Ron; Vrijhoef, Hubertus J.M.

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2018

Erschienen in: Value in Health, 21 (2018) 7, Seite 772-782
Nelson, David R.; Koymans, Luc; Kamataki, Tetsuya; Stegeman, John J.; Feyereisen, Ren??; Waxman, David J.; Waterman, Michael R.; Gotoh, Osamu; Coon, Minor J.; Estabrook, Ron W.; Gunsalus, Irwin C.; Nebert, Daniel W.

P450 superfamily: update on new sequences, gene mapping, accession numbers and nomenclature

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ovid Technologies (Wolters Kluwer Health), 1996

Erschienen in: Pharmacogenetics, 6 (1996) 1, Seite 1-42

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr