Formal methods for fuzzy modeling and control - Preface

被引：0

作者：

de Oliveira, JV

Gomide, F

机构：

[1] UBI, Dept Math & Comp Sci, P-6200 Covilha, Portugal

[2] Univ Estadual Campinas, Sch Elect & Comp Engn, Dept Comp Engn & Ind Automat, BR-13081970 Campinas, SP, Brazil

来源：

FUZZY SETS AND SYSTEMS | 2001年 / 121卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[1] A formal approach to fuzzy modeling
Lygeros, J
[J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1997, 5 (03) : 317 - 327
[2] Modeling Fuzzy Role Based Access Control Using Fuzzy Formal Concept Analysis
Subramanian, Chandra Mouliswaran
Cherukuri, Aswani Kumar
Chelliah, Chandrasekar
[J]. SECURITY IN COMPUTING AND COMMUNICATIONS (SSCC 2015), 2015, 536 : 176 - 185
[3] Formal Methods for Components and Objects - Preface
de Boer, F
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 343 (03) : 283 - 284
[4] Formal Methods for Components and Objects - Preface
de Boer, Frank
Bonsangue, Marcello
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 365 (1-2) : 1 - 1
[5] Formal methods for components and objects - Preface
de Boer, F
Bonsangue, M
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 331 (2-3) : 249 - 250
[6] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
Marieke Huisman
Corina S. Păsăreanu
Naijun Zhan
[J]. Formal Methods in System Design, 2022, 61 : 1 - 2
[7] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
Huisman, Marieke
Pasareanu, Corina S.
Zhan, Naijun
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
[8] Preface to the special issue on Formal Methods: Foundations and Applications Preface
Massoni, Tiago
Mousavi, Mohammad
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
[9] Special Issue: Formal Methods in Aerospace Preface
Bujorianu, Manuela
Fisher, Michael
Pasareanu, Corina
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (01) : 1 - 3
[10] Preface: Applications of Formal Methods and Digital Twins
Hallerstede, Stefan
Kamburjan, Eduard
[J]. CEUR Workshop Proceedings, 2023, 3507

← 1 2 3 4 5 →