System Analysis and Modeling - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540245612, 9783540318101

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

eODL and SDL in Combination for Components

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_2 ◽

2005 ◽

pp. 17-32 ◽

Cited By ~ 2

Author(s):

Harald Böhme ◽

Joachim Fischer

Download Full-text

Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_17 ◽

2005 ◽

pp. 257-270 ◽

Cited By ~ 4

Author(s):

Arjan J. Mooij ◽

Nicolae Goga

Keyword(s):

Remote Control ◽

Non Local

Download Full-text

Data Encoding for SDL in ITU-T Rec. Z.104

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_6 ◽

2005 ◽

pp. 80-95 ◽

Cited By ~ 1

Author(s):

Rick Reed

Keyword(s):

Data Encoding

Download Full-text

SDL in a Changing World

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_7 ◽

2005 ◽

pp. 96-105 ◽

Cited By ~ 2

Author(s):

Edel Sherratt

Keyword(s):

Changing World

Download Full-text

Validating Wireless Protocol Conformance Test Cases

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_19 ◽

2005 ◽

pp. 290-300

Author(s):

Paresh Jain ◽

Amresh Nandan

Keyword(s):

Test Cases ◽

Conformance Test ◽

Wireless Protocol

Download Full-text

Scenario Synthesis from Imprecise Requirements

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_9 ◽

2005 ◽

pp. 122-137

Author(s):

Bill Mitchell ◽

Robert Thomson ◽

Paul Bristow

Download Full-text

Checking Secrecy by Means of Partial Order Reduction

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_12 ◽

2005 ◽

pp. 171-188 ◽

Cited By ~ 7

Author(s):

Cas J. F. Cremers ◽

Sjouke Mauw

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_11 ◽

2005 ◽

pp. 154-170

Author(s):

Christian Rinderknecht

Keyword(s):

Joint Design

Download Full-text

ICT Convergence: Modeling Issues

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_16 ◽

2005 ◽

pp. 237-256 ◽

Cited By ~ 11

Author(s):

Rolv Bræk ◽

Jacqueline Floch

Download Full-text

Comparing UML 2.0 Interactions and MSC-2000

System Analysis and Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31810-1_5 ◽

2005 ◽

pp. 65-79 ◽

Cited By ~ 11

Author(s):

Øystein Haugen

Keyword(s):

Uml 2.0

Download Full-text

System Analysis and Modeling - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

eODL and SDL in Combination for Components

Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control

Data Encoding for SDL in ITU-T Rec. Z.104

SDL in a Changing World

Validating Wireless Protocol Conformance Test Cases

Scenario Synthesis from Imprecise Requirements

Checking Secrecy by Means of Partial Order Reduction

Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules

ICT Convergence: Modeling Issues

Comparing UML 2.0 Interactions and MSC-2000

System Analysis and Modeling - Lecture Notes in Computer Science
Latest Publications