ARTICLE
|
doi:10.20944/preprints201608.0155.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
component-based software development; dependability attributes; availability; reliability; integrity; confidentiality; safety; maintainability
Online: 15 August 2016 (12:21:45 CEST)
ARTICLE
|
doi:10.20944/preprints201707.0044.v1
Subject:
Engineering,
Control And Systems Engineering
Keywords:
cyber physical systems; industry 4.0; MDE; hardware and software co-design; lifetime verification & validation; dependability; correctness; flexibility; self-management; self-adapting; self-healing
Online: 17 July 2017 (10:27:33 CEST)
ARTICLE
|
doi:10.20944/preprints201611.0063.v1
Subject:
Engineering,
Control And Systems Engineering
Keywords:
Wireless Sensor Networks; Formal Methods; Dependability; Metrics; Modeling
Online: 11 November 2016 (14:08:48 CET)
REVIEW
|
doi:10.20944/preprints201901.0285.v1
Subject:
Engineering,
Control And Systems Engineering
Keywords:
cyber physical systems; industry 4.0; MDE; lifetime verification & validation; dependability; correctness; flexibility; real-time self-adaptation, self-management; self-healing
Online: 29 January 2019 (04:45:47 CET)