001 | 465535 | ||
005 | 20241108055528.0 | ||
024 | 7 | _ | |2 ISSN |a 1613-0073 |
037 | _ | _ | |a RWTH-2015-01765 |
041 | _ | _ | |a English |
100 | 1 | _ | |0 P:(DE-82)187210 |a Kühn, Jan |b 0 |e Corresponding author |
111 | 2 | _ | |a Software Engineering 2015 |c Dresden |d 2015-03-17 - 2015-03-18 |g SW-WS 2015 |w Germany |
245 | _ | _ | |a Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver |h online |
260 | _ | _ | |a Aachen, Germany |b RWTH Aachen |c 2015 |
295 | 1 | 0 | |a 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 ... |
300 | _ | _ | |a 19-23 |
336 | 7 | _ | |0 33 |2 EndNote |a Conference Paper |
336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |
336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |b contrib |m contrib |
336 | 7 | _ | |2 BibTeX |a INPROCEEDINGS |
336 | 7 | _ | |2 DRIVER |a conferenceObject |
336 | 7 | _ | |2 DataCite |a Output Types/Conference Paper |
336 | 7 | _ | |2 ORCID |a CONFERENCE_PAPER |
490 | 0 | _ | |a CEUR workshop proceedings |v 1337 |
536 | _ | _ | |0 G:(GEPRIS)224967929 |a DFG project 224967929 - Kooperierende Regelung von extrakorporaler Lungenunterstützung und Beatmung für die Therapie des Lungenversagens (ECLA-VENT) (224967929) |c 224967929 |x 0 |
591 | _ | _ | |a Germany |
700 | 1 | _ | |0 P:(DE-82)480822 |a Schoonbrood, Pierre |b 1 |
700 | 1 | _ | |0 P:(DE-82)IDM01350 |a Stollenwerk, André |b 2 |u rwth |
700 | 1 | _ | |0 P:(DE-82)006773 |a Brendle, Christian |b 3 |
700 | 1 | _ | |0 P:(DE-82)071353 |a Wardeh, Markus Nabil |b 4 |
700 | 1 | _ | |0 P:(DE-82)IDM01334 |a Walter, Marian |b 5 |u rwth |
700 | 1 | _ | |0 P:(DE-82)042306 |a Roissant, Rolf |b 6 |
700 | 1 | _ | |0 P:(DE-82)IDM02753 |a Leonhardt, Steffen |b 7 |u rwth |
700 | 1 | _ | |0 P:(DE-82)IDM06137 |a Kowalewski, Stefan |b 8 |
700 | 1 | _ | |0 P:(DE-82)006715 |a Kopp, Rüdger |b 9 |
856 | 4 | _ | |u http://nbn-resolving.de/urn:nbn:de:0074-1337-4 |y Fulltext |
909 | C | O | |o oai:publications.rwth-aachen.de:465535 |p VDB |
910 | 1 | _ | |0 I:(DE-HGF)0 |6 P:(DE-HGF)0 |a RWTH AACHEN |b 1 |
914 | 1 | _ | |y 2015 |
915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
920 | 1 | _ | |0 I:(DE-82)611010_20140620 |k 611010 |l Lehrstuhl für Medizinische Informationstechnik |x 0 |
920 | 1 | _ | |0 I:(DE-82)122810_20140620 |k 122810 |l Lehrstuhl für Informatik 11 (Embedded Software) |x 1 |
920 | 1 | _ | |0 I:(DE-82)533000-2_20140620 |k 533000-2 |l Lehrstuhl für Anästhesiologie |x 2 |
920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 3 |
980 | _ | _ | |a I:(DE-82)120000_20140620 |
980 | _ | _ | |a I:(DE-82)122810_20140620 |
980 | _ | _ | |a I:(DE-82)533000-2_20140620 |
980 | _ | _ | |a I:(DE-82)611010_20140620 |
980 | _ | _ | |a UNRESTRICTED |
980 | _ | _ | |a VDB |
980 | _ | _ | |a contb |
980 | _ | _ | |a contrib |
Library | Collection | CLSMajor | CLSMinor | Language | Author |
---|