TY  - CHAP
AU  - Lopez, Victoria
AU  - Montero, Javier
PY  - 2008
SN  - 978-972-8924-60-7
UR  - https://hdl.handle.net/20.500.14352/53397
AB  - Natural languages are daily used to write system specifications. However, language specifications can be confusing and very hard to model and identify. Formal methods for assuring the right behavior of software work very well despite their cost, but...
LA  - eng
M2  - 215
PB  - ISA
KW  - Fuzzy logic
KW  - Formal specification
KW  - Formal languages.
TI  - Fuzzy logic for formal specification of systems
TY  - book part
ER  -