ARTICLE
|
doi:10.20944/preprints202002.0117.v1
Subject:
Computer Science And Mathematics,
Information Systems
Keywords:
originality; information entropy; bias; political correctness; errors; error correction
Online: 10 February 2020 (03:55:18 CET)
ARTICLE
|
doi:10.20944/preprints202404.0410.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
Mutual exclusion algorithms; correctness analysis; automated reasoning; model checking; statistical model checking; Timed Automata; Uppaal
Online: 5 April 2024 (06:41:37 CEST)
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)
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)