메뉴 건너뛰기




Volumn 2, Issue , 2004, Pages 843-849

A hybrid framework for the specification of automated material handling systems

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONTROL SYSTEMS; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; OBJECT ORIENTED PROGRAMMING; PLANNING; SPECIFICATIONS; SYNCHRONIZATION;

EID: 16244422343     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)

References (12)
  • 8
    • 0029511220 scopus 로고
    • Application of CSP to the specification description, analysis and software design of elevator control systems and the implementation in Ada
    • Proc.
    • Tsujigado, M., Application of CSP to the specification description, analysis and software design of elevator control systems and the implementation in Ada, the IEEE IECON 21st international Conference on Industrial Electronics, Control, and Instrumentation, 1995, Proc. Vol2, pp. ∼1555-1560.
    • (1995) The IEEE IECON 21st International Conference on Industrial Electronics, Control, and Instrumentation , vol.2 , pp. 1555-1560
    • Tsujigado, M.1
  • 9
    • 16244366934 scopus 로고
    • A CSP model for distributed control software design
    • Oxford University Department of Engineering Science
    • Lau,Y. K. H. and Daniel, R. W., A CSP model for distributed control software design, Technical report 1789/89, Oxford University Department of Engineering Science, 1989.
    • (1989) Technical Report , vol.1789 , Issue.89
    • Lau, Y.K.H.1    Daniel, R.W.2
  • 12
    • 33645441005 scopus 로고    scopus 로고
    • A semantic integration of Object-Z and CSP for the specification of concurrent systems
    • Springer-Verlag
    • Smith, G., A semantic integration of Object-Z and CSP for the specification of concurrent systems, FME'97: Industrial Benefit of Formal Methods, Springer-Verlag, 1997.
    • (1997) FME'97: Industrial Benefit of Formal Methods
    • Smith, G.1


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