메뉴 건너뛰기




Volumn 29, Issue 4, 1997, Pages 501-528

Structural models for specifying telephone systems

Author keywords

Architecture; Design; Formal specification; LOTOS; Specification styles; Structure; Telephone features; Telephone systems

Indexed keywords


EID: 0000063182     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(96)00110-9     Document Type: Article
Times cited : (8)

References (2)
  • 1
    • 0019008375 scopus 로고
    • A general transition model for protocols and communication services
    • G.V. Bochmann, A general transition model for protocols and communication services, IEEE Trans. Comm. 28 (1980) 643-650.
    • (1980) IEEE Trans. Comm. , vol.28 , pp. 643-650
    • Bochmann, G.V.1
  • 2
    • 0023544236 scopus 로고
    • Introduction to the ISO specification language LOTOS
    • B. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS, Computer Networks ISDN Systems 14 (1987) 25-59.
    • (1987) Computer Networks ISDN Systems , vol.14 , pp. 25-59
    • Bolognesi, B.1    Brinksma, E.2


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