메뉴 건너뛰기




Volumn 2847, Issue , 2003, Pages 69-80

Heavy-ion fault injections in the Time-Triggered Communication Protocol

Author keywords

[No Author keywords available]

Indexed keywords

CLUSTER ANALYSIS;

EID: 0142249909     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45214-0_8     Document Type: Article
Times cited : (11)

References (13)
  • 3
    • 0002598384 scopus 로고
    • Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture
    • Urbana-Champaign, IL, USA, September
    • Karlsson, J. Folkesson, P. Arlat, J. Crouzet, Y. Leber G. and Reisinger, J.: Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture. In the Proceedings of DCCA-5, Urbana-Champaign, IL, USA, September (1995)
    • (1995) The Proceedings of DCCA-5
    • Karlsson, J.1    Folkesson, P.2    Arlat, J.3    Crouzet, Y.4    Leber, G.5    Reisinger, J.6
  • 4
    • 35248879601 scopus 로고    scopus 로고
    • FIT project
    • FIT project at http://www.cordis.lu/ist/projects/99-10748.htm
  • 5
    • 0033336111 scopus 로고    scopus 로고
    • Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
    • September
    • Rushby, J.: Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. IEEE Transactions on Software Engineering, Volume 25, Number 5, September, pp: 651-660, (1999)
    • (1999) IEEE Transactions on Software Engineering , vol.25 , Issue.5 , pp. 651-660
    • Rushby, J.1
  • 7
    • 84936893976 scopus 로고
    • Using Heavy-Ion Radiation to Validate Fault-Handling Mechanisms
    • Karlsson, J. et al.: Using Heavy-Ion Radiation to Validate Fault-Handling Mechanisms, IEEE Micro, 14 (1), pp.8-23 (1994)
    • (1994) IEEE Micro , vol.14 , Issue.1 , pp. 8-23
    • Karlsson, J.1


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