Para depositar en Docta Complutense, identifícate con tu correo @ucm.es en el SSO institucional. Haz clic en el desplegable de INICIO DE SESIÓN situado en la parte superior derecha de la pantalla. Introduce tu correo electrónico y tu contraseña de la UCM y haz clic en el botón MI CUENTA UCM, no autenticación con contraseña.

Fuzzy weakest precondition and fuzzy invariants

Simple item page
dc.book.title8th Joint Conference on Information Sciences 2005
dc.contributor.authorLópez, Victoria
dc.contributor.authorGómez González, Daniel
dc.contributor.authorMontero De Juan, Francisco Javier
dc.date.accessioned2023-06-20T13:42:09Z
dc.date.available2023-06-20T13:42:09Z
dc.date.issued2009
dc.description.abstractDesign 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.en
dc.description.departmentDepto. de Estadística e Investigación Operativa
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/30776
dc.identifier.isbn9781605603223
dc.identifier.urihttps://hdl.handle.net/20.500.14352/53439
dc.language.isoeng
dc.page.final53
dc.page.initial47
dc.page.total619
dc.publication.placeDurham, N.C
dc.publisherCurran Associates, Inc.
dc.rights.accessRightsopen access
dc.subject.cdu510.64
dc.subject.keywordFuzzy algorithms and programming
dc.subject.keywordDecision making
dc.subject.ucmLógica simbólica y matemática (Matemáticas)
dc.subject.unesco1102.14 Lógica Simbólica
dc.titleFuzzy weakest precondition and fuzzy invariantsen
dc.typebook part
dspace.entity.typePublication
relation.isAuthorOfPublication4dcf8c54-8545-4232-8acf-c163330fd0fe
relation.isAuthorOfPublication9e4cf7df-686c-452d-a98e-7b2602e9e0ea
relation.isAuthorOfPublication.latestForDiscovery9e4cf7df-686c-452d-a98e-7b2602e9e0ea

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Montero204.pdf
Size:
67.08 KB
Format:
Adobe Portable Document Format
Download Download

Collections

Secciones de libros