scientific article; zbMATH DE number 1517029

DOI<801::AID-INT7>3.0.CO;2-Z 10.1002/1098-111X(200008)15:8<801::AID-INT7>3.0.CO;2-ZzbMath0957.68074MaRDI QIDQ4509302

Tuan D. Pham

Publication date: 15 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal methodsspecification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic
• Reasoning under uncertainty in fuzzy operator logic

This page was built for publication: