SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3920 LNCS, Issue , 2006, Pages 455-458

MSCAN - A tool for analyzing MSC specifications

(4) Bollig, Benedikt a Kern, Carsten b Schlütter, Markus b Stolz, Volker b

a CNRS (France)

b RWTH AACHEN UNIVERSITY (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SCIENCE;

MSC SPECIFICATIONS; MSCAN; SYSTEM DEVELOPMENT;

ARTIFICIAL INTELLIGENCE;

EID: 33745797730 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/11691372_32 Document Type: Conference Paper

Times cited : (7)

References (12)

1
- 84888232448
- Model checking of message sequence charts
- CONCUR 1999. Springer
- R. Alur and M. Yannakakis. Model checking of message sequence charts. In CONCUR 1999, volume 1664 of LNCS. Springer, 1999.
- (1999) LNCS , vol.1664
- Alur, R.¹ Yannakakis, M.²

2
- 84958754717
- Syntactic detection of process divergence and non-local choice in message sequence charts
- TAC AS 1997. Springer
- H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and non-local choice in message sequence charts. In TAC AS 1997, volume 1217 of LNCS. Springer, 1997.
- (1997) LNCS , vol.1217
- Ben-Abdallah, H.¹ Leue, S.²

3
- 84947922452
- Mesa: Support for scenario-based design of concurrent systems
- TACAS 1998. Springer
- H. Ben-Abdallah and S. Leue. Mesa: Support for scenario-based design of concurrent systems. In TACAS 1998, volume 1384 of LNCS. Springer, 1998.
- (1998) LNCS , vol.1384
- Ben-Abdallah, H.¹ Leue, S.²

4
- 24644493427
- Compositional message sequence charts (CMSCs) are better to implement than MSCs
- TACAS 2005. Springer
- B. Genest. Compositional message sequence charts (CMSCs) are better to implement than MSCs. In TACAS 2005, volume 3340 of LNCS. Springer, 2005.
- (2005) LNCS , vol.3340
- Genest, B.¹

5
- 84869187985
- Infinite-state high-level MSCs: Model-checking and realizability
- ICALP 2002. Springer
- B. Genest, A. Muscholl, H. Seidl, and M. Zeitoun. Infinite-state high-level MSCs: Model-checking and realizability. In ICALP 2002, volume 2380 of LNCS. Springer, 2002.
- (2002) LNCS , vol.2380
- Genest, B.¹ Muscholl, A.² Seidl, H.³ Zeitoun, M.⁴

6
- 84903159515
- Compositional message sequence charts
- TACAS 2001. Springer
- E. Gunter, A. Muscholl, and D. Peled. Compositional message sequence charts. In TACAS 2001, volume 2031 of LNCS. Springer, 2001.
- (2001) LNCS , vol.2031
- Gunter, E.¹ Muscholl, A.² Peled, D.³

7
- 84974633278
- On message sequence graphs and finitely generated regular MSC languages
- ICALP 2000. Springer
- J. G. Henriksen, M. Mukund, K. Narayan Kumar, and P. S. Thiagarajan. On message sequence graphs and finitely generated regular MSC languages. In ICALP 2000, volume 1853 of LNCS. Springer, 2000.
- (2000) LNCS , vol.1853
- Henriksen, J.G.¹ Mukund, M.² Narayan Kumar, K.³ Thiagarajan, P.S.⁴

8
- 67649633363
- ITU-TS Recommendation Z.120: Message Sequence Chart 1999 (MSC99), 1999.
- (1999) ITU-TS Recommendation Z.120: Message Sequence Chart 1999 (MSC99)

9
- 33745775067
- CS Dept., University of Göttingen
- H. Neukirchen. MSC2000 Parser. CS Dept., University of Göttingen.
- MSC2000 Parser
- Neukirchen, H.¹

10
- 33745768224
- Grappa (Version 1.2). http://www.research.att.com/~john/Grappa/.
- Grappa (Version 1.2)

11
- 33745770268
- MSCAN
- MSCAN. http://www-i2.informatik.rwth-aachen.de/MSCan/.

12
- 33745786657
- MSC EXECUTE
- MSC EXECUTE. http://www-i2.informatik.rwth-aachen.de/MSCExecute/.

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