Skip to contents

Grammes, Rüdiger [Author]; Gotzhein, Reinhard [Author]

Towards the harmonisation of UML and SDL : syntactic and semantic alignment

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Techn. Univ., Fachbereich Informatik, [2003]

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 327
Rinderspacher, Markus [Author]

Mathematische Modellierung und Verifikation von SDL-Systemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Amyot, Daniel [Editor]; Williams, Alan W. [Editor] ; SAM 4 2004 Ottawa

System analysis and modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1 - 4, 2004 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3319
Reed, Rick [Editor]; Bilgic, Attila [Other]; Gotzhein, Reinhard [Other] ; SDL 14 2009 Bochum

SDL 2009: design for motes and mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5719
Leue, Stefan [Editor]; Systä, Tarja Johanna [Other] ; International Workshop Scenarios: Models, Transformations and Tools 2003 Dagstuhl

Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3466
Kraemer, Frank Alexander [Editor]; Herrmann, Peter [Other] ; SAM 6 2010 Oslo

System analysis and modeling: about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6598
Amyot, Daniel [Other]; Williams, Alan W. [Other]

System Analysis and Modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3319
Reed, Rick [Other]; Reed, Jeanne [Other]

SDL 2001: Meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 2078
Leue, Stefan [Other]; Systä, Tarja J. [Other]

Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3466
Kraemer, Frank Alexander [Author] ; Herrmann, Peter [Other]

System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6598
Reed, Rick [Author] ; Bilgic, Attila [Other]; Gotzhein, Reinhard [Other]

SDL 2009: Design for Motes and Mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5719
Rinderspacher, Markus [Author]

Mathematische Modellierung und Verifikation von SDL-Systemen

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 1996-01-01

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication