SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2002, Pages 589-597

Convergence refinement

Author keywords

Algorithms; Compilers; Convergence refinement; Fault tolerance; Graybox design; Refinements; Stabilization; Token ring

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; HIGH LEVEL LANGUAGES; PROGRAM COMPILERS; SET THEORY;

CONVERGENCE REFINEMENT;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0036376828 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (10)

References (11)

4
- 26344443320
- Technical report OSU-CISRC-3/O2-TR06, Ohio State University, March
- (2002) Convergence refinement
- Demirbas, M.¹ Arora, A.²

5
- 84976834622
- Self-stabilizing systems in spite of distributed control
- (1974) Communications of the ACM , vol.17 , pp. 11
- Dijkstra, E.W.¹

6
- 10044294021
- Technical Report 90-02, Computer Science Department, University of Iowa
- (1990) Understanding self-stabilization in distributed systems, Part I
- Ghosh, S.¹

7
- 0010299555
- PhD thesis, The Ohio State University
- (2001) A Foundation for Fault Tolerant Components
- Leal, W.¹

8
- 0000173020
- Transformations of programs for fault-tolerance
- (1992) Formal Aspects of Computing , vol.4 , Issue.5 , pp. 442-469
- Liu, Z.¹ Joseph, M.²

11
- 0030833523
- Calculating with requirements
- January
- (1997) 3rd IEEE International Symposium on Requirements Engineering , pp. 144-146
- Rushby, J.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.