메뉴 건너뛰기




Volumn 55, Issue 1-2, 2003, Pages 21-56

Analysis of a distributed system for lifting trucks

Author keywords

CRL; Model checking; Process algebra; Protocol verification; Specification

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING; COMPUTER SCIENCE; TRUCKS;

EID: 0037342535     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1567-8326(02)00038-3     Document Type: Article
Times cited : (27)

References (19)
  • 5
    • 84957379824 scopus 로고    scopus 로고
    • CADP - A protocol validation and verification toolbox
    • R. Alur, & T.A. Henzinger (Eds.), Proceedings of the 8th Conference on Computer-Aided Verification, Springer, Berlin
    • Fernandez J.-C., Garavel H., Kerbrat A., Mounier L., Mateescu R., Sighireanu M. CADP - a protocol validation and verification toolbox. Alur R., Henzinger T.A. Proceedings of the 8th Conference on Computer-Aided Verification. Lecture Notes in Computer Science. vol. 1102:1997;437-440 Springer, Berlin.
    • (1997) Lecture Notes in Computer Science , vol.1102 , pp. 437-440
    • Fernandez, J.-C.1    Garavel, H.2    Kerbrat, A.3    Mounier, L.4    Mateescu, R.5    Sighireanu, M.6
  • 7
    • 0003541165 scopus 로고    scopus 로고
    • Computer assisted manipulation of algebraic process specifications
    • CWI, Amsterdam
    • J.F. Groote, B. Lisser, Computer assisted manipulation of algebraic process specifications, Technical Report SEN-R0117, CWI, Amsterdam, 2001.
    • (2001) Technical Report SEN-R0117
    • Groote, J.F.1    Lisser, B.2
  • 12
    • 0035817841 scopus 로고    scopus 로고
    • The parallel composition of uniform processes with data
    • Groote J.F., van Wamel J.J. The parallel composition of uniform processes with data. Theoretical Computer Science. 266(1-2):2001;631-652.
    • (2001) Theoretical Computer Science , vol.266 , Issue.1-2 , pp. 631-652
    • Groote, J.F.1    Van Wamel, J.J.2
  • 16
    • 84947448782 scopus 로고
    • Modeling and verification of a real life protocol using symbolic model checking
    • D.L. Dill. Berlin: Springer
    • Naik V.G., Sistla A.P. Modeling and verification of a real life protocol using symbolic model checking. Dill D.L. Computer Aided Verification. Lecture Notes in Computer Science. vol. 818:1994;194-206 Springer, Berlin.
    • (1994) Computer Aided Verification, Lecture Notes in Computer Science , vol.818 , pp. 194-206
    • Naik, V.G.1    Sistla, A.P.2
  • 17
    • 0004049320 scopus 로고
    • Postfach 30 02 40, D-70442 Stuttgart, Germany
    • Robert Bosch Gmbh, Postfach 30 02 40, D-70442 Stuttgart, Germany, CAN Specification, Version 2.0, 1991.
    • (1991) CAN Specification, Version 2.0
    • Gmbh, R.B.1
  • 19


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