External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Model Checking Technique for the Verification of Fuzzy Control Systems

Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci. A Model Checking Technique for the Verification of Fuzzy Control Systems. In 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria. pages 536-542, IEEE Computer Society, 2005.

Abstract

Abstract is missing.

runs on