Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "On Design-time Modelling and Verification of Safety-critical Component-based Systems."
Link zu diesem Datensatz | https://d-nb.info/1325615528 |
Titel | On Design-time Modelling and Verification of Safety-critical Component-based Systems / by Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner |
Person(en) |
Kajtazovic, Nermin (Verfasser) Preschern, Christopher (Verfasser) Höller, Andrea (Verfasser) Kreiner, Christian (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | 1 Online-Ressource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2024040911075583852881 DOI: 10.2991/ijndc.2014.2.3.7 |
URL | https://doi.org/10.2991/ijndc.2014.2.3.7 |
Zeitliche Einordnung | Erscheinungsdatum: 2014 |
DDC-Notation | 005.1 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: International journal of networked and distributed computing (Bd. 2, 1.8.2014, Nr. 3, date:8.2014: 175-188) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |