ABSTRACT SPECIFICATION OF MATHEMATICAL STRUCTURES AND METHODS

被引：0

作者：

LIMONGELLI, C ^{[1
]}

MELE, MB ^{[1
]}

REGIO, M ^{[1
]}

TEMPERINI, M ^{[1
]}

机构：

[1] CNR, IST ANAL SIST & INFORMAT, I-00185 ROME, ITALY

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 429卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：61 / 70

页数：10

共 50 条

[31] Mathematical methods for the study of wave scattering by open cylindrical structures
Chernokozhin, EV
Shestopalov, YV
[J]. JOURNAL OF COMMUNICATIONS TECHNOLOGY AND ELECTRONICS, 1997, 42 (11) : 1211 - 1223
[32] Mathematical methods for comparing structures of ecological communities: A survey for ecotoxicologists
Steele, C
Skinner, C
[J]. ENVIRONMENTAL TOXICOLOGY AND RISK ASSESSMENT: SEVENTH VOLUME, 1998, 1333 : 398 - 411
[33] Combining formal specification methods and informal specification methods for requirement analysis
Zhang, LC
[J]. 1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997, 1997, : 444 - 447
[34] Technical analysis compared to mathematical models based methods under parameters mis-specification
Blanchet-Scalliet, Christophette
Diop, Awa
Gibson, Rajna
Talay, Denis
Tanre, Etienne
[J]. JOURNAL OF BANKING & FINANCE, 2007, 31 (05) : 1351 - 1373
[35] On mathematical structures on pairwise comparisons matrices with coefficients in an abstract group arising from quantum gravity
Magnot, Jean-Pierre
[J]. HELIYON, 2019, 5 (06)
[36] MATHEMATICAL-DESCRIPTION AND SPECIFICATION OF SOFTWARE
PARNAS, DL
[J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 354 - 359
[37] Contextually representing abstract concepts with abstract structures
Wiemer-Hastings, K
Graesser, AC
[J]. PROCEEDINGS OF THE TWENTY-SECOND ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2000, : 983 - 988
[38] ABSTRACT DIMENSION OF STRUCTURES
NOVAK, V
NOVOTNY, M
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (03): : 207 - 220
[39] EFFECTIVE ABSTRACT STRUCTURES
SOSKOVA, AA
[J]. DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1990, 43 (10): : 5 - 8
[40] Structures for abstract rewriting
Aiguier, Marc
Bahrami, Diane
[J]. JOURNAL OF AUTOMATED REASONING, 2007, 38 (04) : 303 - 351

← 1 2 3 4 5 →