BOOLEAN VALUED MODELS AND INCOMPLETE SPECIFICATIONS

被引：0
|
作者：
DAHN, BI
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 343卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：119 / 126
页数：8
相关论文
共 50 条
  • [31] Test conditions for fault classes in Boolean specifications
    Kapoor, Kalpesh
    Bowen, Jonathan P.
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2007, 16 (03) : A1 - A12
  • [32] A Detectability Analysis of Fault Classes for Boolean Specifications
    Chen, Zhenyu
    Xu, Baowen
    Nie, Changhai
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 826 - 830
  • [33] A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
    Glotfelter, Paul
    Cortes, Jorge
    Egerstedt, Magnus
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (11) : 5160 - 5174
  • [34] Boolean Valued Analysis of Banach Spaces
    Kusraev, A. G.
    Kutateladze, S. S.
    SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (01) : 190 - 233
  • [35] SOME BOOLEAN VALUED COMMUTATIVE ALGEBRA
    NISHIMURA, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (04): : 367 - 384
  • [36] DIMENSION OF BOOLEAN VALUED LATTICES AND RINGS
    ESPANOL, L
    JOURNAL OF PURE AND APPLIED ALGEBRA, 1986, 42 (03) : 223 - 236
  • [37] ON THE ABSOLUTENESS OF TYPES IN BOOLEAN VALUED LATTICES
    NISHIMURA, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (03): : 241 - 246
  • [38] Lattice Boolean Valued Measurable Functions
    Kumar, D. V. S. R. Anil
    Rao, J. Venkateswara
    Pramada, J.
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS & STATISTICS, 2011, 23 (D11): : 135 - 142
  • [39] SHEAVES AND BOOLEAN VALUED MODEL THEORY
    LOULLIS, G
    JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (02) : 153 - 183
  • [40] Boolean-valued belief functions
    Kramosil, I
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2002, 31 (02) : 153 - 181
12345