Reasoning Method Based on Intervals with Symmetric Truncated Normal Density
Sign Up to like & getrecommendations! Published in 2022 at "Symmetry"
DOI: 10.3390/sym14010025
Abstract: Error parameters are inevitable in systems. In formal verification, previous reasoning methods seldom considered the probability information of errors. In this article, errors are described as symmetric truncated normal intervals consisting of the intervals and… read more here.
Keywords: reasoning methods; density; reasoning method; truncated normal ... See more keywords