10 citations · 46 across the 12 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Reasoning with graded information: the case of diagnostic rating scales in healthcare
Thomas Vetterlein, Anna Zamansky
In medicine one frequently deals with vague information. As a tool for reasoning in this area, fuzzy logic suggests itself. In this paper we explore the applicability of the basic…
cs.SE2018
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…