RT Book, Section
T1 Fuzzy weakest precondition and fuzzy invariants
A1 López, Victoria
A1 Gómez González, Daniel
A1 Montero De Juan, Francisco Javier
AB Design and formal verification of algorithms can be translated into a fuzzy framework introducing fuzzy logic and assert transformations. Following the classical scheme, and in order to develop codes with good behavior, this paper defines the concepts of fuzzy algorithm specification and fuzzy weakest precondition operator which are then applied to a fuzzy decision making algorithm. Keywords: Fuzzy algorithms and programming,decision making.
PB Curran Associates, Inc.
SN 9781605603223
YR 2009
FD 2009
LK https://hdl.handle.net/20.500.14352/53439
UL https://hdl.handle.net/20.500.14352/53439
LA eng
DS Docta Complutense
RD 9 abr 2025