565 followers
Congrats to Anouk Suntjens for her master thesis results. Follow-up of http://t.co/TVw4M7wAyk http://t.co/V8TyIdXENn
Foundations of Health Information Engineering and Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets
-
Altmetric BadgeChapter 2 Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
-
Altmetric BadgeChapter 3 Enhancing Product Line Development by Safety Requirements and Verification
-
Altmetric BadgeChapter 4 Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability
-
Altmetric BadgeChapter 5 Foundations of Health Information Engineering and Systems
-
Altmetric BadgeChapter 6 An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange
-
Altmetric BadgeChapter 7 O wl O nt DB : A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes
-
Altmetric BadgeChapter 8 Trustworthy Pervasive Healthcare Services via Multiparty Session Types
-
Altmetric BadgeChapter 9 A Grid Based Distributed Cooperative Environment for Health Care Research
-
Altmetric BadgeChapter 10 Closed-Loop Modeling of Cardiac Pacemaker and Heart
-
Altmetric BadgeChapter 11 Model-Based Solution for Controlling Physiology
-
Altmetric BadgeChapter 12 Automated Reviewing of Healthcare Security Policies
-
Altmetric BadgeChapter 13 A Formal Diagrammatic Approach to Compensable Workflow Modelling
-
Altmetric BadgeChapter 14 Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts