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
关键词
D O I
10.1016/S0165-0114(99)00167-0
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:1 / 2
页数:2
相关论文
共 50 条
  • [1] A formal approach to fuzzy modeling
    Lygeros, 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
    SECURITY IN COMPUTING AND COMMUNICATIONS (SSCC 2015), 2015, 536 : 176 - 185
  • [3] Formal Methods for Components and Objects - Preface
    de Boer, F
    THEORETICAL COMPUTER SCIENCE, 2005, 343 (03) : 283 - 284
  • [4] Formal Methods for Web Services: Preface
    Università di Urbino Carlo Bo, Istituto di Scienze e Tecnologie dell'Informazione, Piazza della Repubblica 13, 61029 Urbino, Italy
    不详
    Lect. Notes Comput. Sci., 2009, (v-vi):
  • [5] Formal Methods for Components and Objects - Preface
    de Boer, Frank
    Bonsangue, Marcello
    THEORETICAL COMPUTER SCIENCE, 2006, 365 (1-2) : 1 - 1
  • [6] Formal methods for components and objects - Preface
    de Boer, F
    Bonsangue, M
    THEORETICAL COMPUTER SCIENCE, 2005, 331 (2-3) : 249 - 250
  • [7] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    Formal Methods in System Design, 2022, 61 : 1 - 2
  • [8] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [9] Preface to the special issue on Formal Methods: Foundations and Applications Preface
    Massoni, Tiago
    Mousavi, Mohammad
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
  • [10] Special Issue: Formal Methods in Aerospace Preface
    Bujorianu, Manuela
    Fisher, Michael
    Pasareanu, Corina
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (01) : 1 - 3