SCOPUS 정보 검색 플랫폼

Volumn 28, Issue 12, 1996, Pages 1685-1701

Methodology for real time systems

a Telecommunications Software Engineering Limited (United Kingdom)

Author keywords

Activity; ASN.1; Classification; Computer aided sofware engineering; CR F; Engineering process; Formal methods; Formalisation; ITU; Methodology; MSC; Real time; SDL

Indexed keywords

EID: 0000455417 PISSN: 13891286 EISSN: None Source Type: Journal
DOI: 10.1016/0169-7552(95)00126-3 Document Type: Article

Times cited : (8)

References (4)

1
- 0005384226
- SDL basics
- R. Bræk, SDL basics, Comput. Networks ISDN Systems 28 (1996) 1585-1602, this issue.
- (1996) Comput. Networks ISDN Systems , vol.28 , Issue.THIS ISSUE , pp. 1585-1602
- Bræk, R.¹

2
- 0005270782
- Introduction to SDL-92
- A. Sarma, Introduction to SDL-92, Comput. Networks ISDN Systems 28 (1996) 1603-1615, this issue.
- (1996) Comput. Networks ISDN Systems , vol.28 , Issue.THIS ISSUE , pp. 1603-1615
- Sarma, A.¹

3
- 0001616142
- Tutorial on message sequence charts
- E. Rudolph, P. Graubmann and J. Gabrowski, Tutorial on Message Sequence Charts, Comput. Networks ISDN Systems 28 (1996) 1629-1641, this issue.
- (1996) Comput. Networks ISDN Systems , vol.28 , Issue.THIS ISSUE , pp. 1629-1641
- Rudolph, E.¹ Graubmann, P.² Gabrowski, J.³

4
- 0005333903
- An introduction to Z.105
- L. Verhaard, An introduction to Z.105, Comput. Networks ISDN Systems 28 (1996) 1617-1628, this issue.
- (1996) Comput. Networks ISDN Systems , vol.28 , Issue.THIS ISSUE , pp. 1617-1628
- Verhaard, L.¹

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