ARTICLE
|
doi:10.20944/preprints202305.2228.v1
Subject:
Computer Science And Mathematics,
Software
Keywords:
formal compile-time verification; dimensional analysis; orientational analysis; type system
Online: 31 May 2023 (10:50:37 CEST)
ARTICLE
|
doi:10.20944/preprints202305.0118.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
CPS; IoT; software quality; physical dimension; physical orientation; formal verification; metaprogramming
Online: 3 May 2023 (08:47:27 CEST)