Skip to contents Barthe, Gilles [Editor]; Boer, Frank S. de [Other] ; FMOODS 10 2008 Oslo Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5051 Reichelt, Toni [Author] A model driven approach for service based system design using interaction templates Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2012 Published in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 10 Bonsangue, Marcello M. [Editor]; Johnsen, Einar Broch [Other] ; FMOODS 9 2007 Paphos Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4468 Reichelt, Toni [Author] A Model Driven Approach for Service Based System Design Using Interaction Templates Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2012 Published in: Wissenschaftliche Schriftenreihe eingebettete selbstorganisierende Systeme ; 10 Bonsangue, Marcello M. [Other]; Johnsen, Einar Broch [Other] Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4468 Barthe, Gilles [Other]; Boer, Frank S. [Other] Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 5051
Barthe, Gilles [Editor]; Boer, Frank S. de [Other] ; FMOODS 10 2008 Oslo Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5051
Reichelt, Toni [Author] A model driven approach for service based system design using interaction templates Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2012 Published in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 10
Bonsangue, Marcello M. [Editor]; Johnsen, Einar Broch [Other] ; FMOODS 9 2007 Paphos Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4468
Reichelt, Toni [Author] A Model Driven Approach for Service Based System Design Using Interaction Templates Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2012 Published in: Wissenschaftliche Schriftenreihe eingebettete selbstorganisierende Systeme ; 10
Bonsangue, Marcello M. [Other]; Johnsen, Einar Broch [Other] Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4468
Barthe, Gilles [Other]; Boer, Frank S. [Other] Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 5051
> Availability Skip to next facet Open Shelves (1) Wert ausschließen Stack Collection (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (1) Wert ausschließen Without Specification (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (4) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Barthe, Gilles (2) Wert ausschließen Bonsangue, Marcello M. (2) Wert ausschließen Johnsen, Einar Broch (2) Wert ausschließen Reichelt, Toni (2) Wert ausschließen Boer, Frank S. (1) Wert ausschließen Boer, Frank S. de (1) Wert ausschließen FMOODS 10 2008 Oslo (1) Wert ausschließen FMOODS 9 2007 Paphos (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (6) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Qucosa (1) Wert ausschließen Show more show less