SPECIFYING TELEPHONE SYSTEMS IN LOTOS

被引：9

作者：

BOUMEZBEUR, R ^{[1
]}

LOGRIPPO, L ^{[1
]}

机构：

[1] UNIV OTTAWA,DEPT COMP SCI,OTTAWA K1N 6N5,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1109/35.229520

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：38 / 45

页数：8

共 50 条

[21] SPECIFYING MULTIPLEX DATA SYSTEMS
FLING, JJ
POWER ENGINEERING, 1976, 80 (02) : 50 - 53
[22] DLOTOS: A LOTOS extension for clock synchronization in distributed systems
Hassan, WA
SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 149 - 153
[23] AVOIDING THE PITFALLS OF SPECIFYING SYSTEMS
PYM, D
CONTROL AND INSTRUMENTATION, 1987, 19 (12): : 53 - &
[24] Specifying interdependence in networked systems
Singpurwalla, ND
Kong, CW
IEEE TRANSACTIONS ON RELIABILITY, 2004, 53 (03) : 401 - 405
[25] G-LOTOS - A GRAPHICAL LANGUAGE FOR CONCURRENT SYSTEMS
BOLOGNESI, T
NAJM, E
TILANUS, PAJ
COMPUTER NETWORKS AND ISDN SYSTEMS, 1994, 26 (09): : 1101 - 1127
[26] 'LOTOS'
BROWN, A
FIDDLEHEAD, 1977, (113): : 26 - 27
[27] LOTOS biofuels - the LOTOS group producer of FAME
Lesisz, Marek
Pindel, Marek
PRZEMYSL CHEMICZNY, 2006, 85 (12): : 1580 - 1584
[28] MAPPING TIME-EXTENDED LOTOS TO STANDARD LOTOS
MCCLENAGHAN, A
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 233 - 248
[29] New guidelines for specifying DDC systems
Pittel, O
Ehrlich, P
ASHRAE JOURNAL, 2001, 43 (07) : 31 - 33
[30] Specifying communication in distributed information systems
Hans-Dieter Ehrich
Carlos Caleiro
Acta Informatica, 2000, 36 : 591 - 616