h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver

; ; ; ; ; ; ; ; ;

In
SE-WS 2015, software engineering workshops 2015 : gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, 17. - 18. März 2015 / hrsg. von Wolg Zimmermann ..., Seiten/Artikel-Nr: 19-23

Konferenz/Event:Software Engineering 2015 , Dresden , Germany , SW-WS 2015 , 2015-03-17 - 2015-03-18

ImpressumAachen, Germany : RWTH Aachen

Umfang19-23

ReiheCEUR workshop proceedings ; 1337

Online
URL: http://nbn-resolving.de/urn:nbn:de:0074-1337-4

Einrichtungen

  1. Lehrstuhl für Medizinische Informationstechnik (611010)
  2. Lehrstuhl für Informatik 11 (Embedded Software) (122810)
  3. Lehrstuhl für Anästhesiologie (533000-2)
  4. Fachgruppe Informatik (120000)

Projekte

  1. DFG project 224967929 - Kooperierende Regelung von extrakorporaler Lungenunterstützung und Beatmung für die Therapie des Lungenversagens (ECLA-VENT) (224967929) (224967929)

External link:
Download fulltext
Fulltext

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Interne Identnummern
RWTH-2015-01765
Datensatz-ID: 465535

Beteiligte Länder
Germany

 GO

QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Mathematics, Computer Science and Natural Sciences (Fac.1) > Department of Computer Science
Faculty of Electrical Engineering and Information Technology (Fac.6)
Faculty of Medicine (Fac.10)
533000\-2
Public records
Publications database
120000
122810
611010
 Record created 2015-04-16, last modified 2024-11-08
Similar records


External link:
Download fulltext
Fulltext
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)