KOBV Portal

Online Resource

Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings (2006)

Najm, Elie ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks ; FORTE 26 2006 Paris

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

gbv_530061120

Format: Online-Ressource (XII, 486 S.)

Edition: Online-Ausg. 2006 Springer eBook collection. Computer science Electronic reproduction; Available via World Wide Web

ISBN: 9783540462200

Series Statement: Lecture notes in computer science 4229

Note: Literaturangaben , Electronic reproduction; Available via World Wide Web

Additional Edition: ISBN 3540462198

Additional Edition: ISBN 9783540462194

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Verteiltes System ; Formale Methode ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Software ; Testen ; Konferenzschrift

DOI: 10.1007/11888116

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Volltext

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

Book

Formal techniques for networked and distributed systems : proceedings (2006)

Najm, Elie ; FORTE (26 : 2006 : Paris) 26 Paris

Berlin [u.a.] : Springer-Verlag

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB14099982

Format: XII, 486 Seiten , graph. Darst. , 24 cm

ISBN: 9783540462194 , 3540462198

Series Statement: Lecture notes in computer science 4229

Note: Text engl.

Language: English

Keywords: Verteiltes System ; Formale Methode ; Kongress ; Paris 〈2006〉 ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Kongress ; Paris 〈2006〉 ; Software ; Testen ; Formale Methode ; Kongress ; Paris 〈2006〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Online Resource

Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 ; proceedings (2006)

Najm, Elie [Sonstige] 1952- ; FORTE 26 2006 Paris

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV022369084

Format: 1 Online-Ressource (XII, 486 S.) , Ill., graph. Darst.

ISBN: 3540462198 , 9783540462194

Series Statement: Lecture notes in computer science 4229

Language: English

Keywords: Verteiltes System ; Formale Methode ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Softwaretest ; Formale Methode ; Konferenzschrift

DOI: 10.1007/11888116

URL: Volltext

Author information: Najm, Elie 1952-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

BTU Cottbus

Book

Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 ; proceedings (2006)

Najm, Elie [Sonstige] 1952- ; FORTE 26 2006 Paris

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV021788499

Format: XII, 486 S. , Ill., graph. Darst.

ISBN: 9783540462194 , 3540462198

Series Statement: Lecture notes in computer science 4229

Language: English

Keywords: Verteiltes System ; Formale Methode ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Softwaretest ; Formale Methode ; Konferenzschrift

URL: Inhaltstext

Author information: Najm, Elie 1952-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings (2006)

Najm, Elie. [editor.] ; Pradat-Peyre, Jean-François. [editor.] ; Donzeau-Gouge, Véronique Viguié. [editor.] ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947364056302882

Format: XII, 488 p. , online resource.

ISBN: 9783540462200

Series Statement: Lecture Notes in Computer Science, 4229

Note: Invited Talks -- Modelling of Complex Software Systems: A Reasoned Overview -- The ?+?CAL Algorithm Language -- Semantic-Based Development of Service-Oriented Systems -- Services -- JSCL: A Middleware for Service Coordination -- Analysis of Realizability Conditions for Web Service Choreographies -- Web Cube -- Presence Interaction Management in SIP SOHO Architecture -- Middleware -- Formal Analysis of Dynamic, Distributed File-System Access Controls -- Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus -- Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures -- A LOTOS Framework for Middleware Specification -- Composition and Synthesis -- Automatic Synthesis of Assumptions for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program Specification and Synthesis in Architectures with Cycles -- Generalizing the Submodule Construction Techniques for Extended State Machine Models -- Logics -- Decidable Extensions of Hennessy-Milner Logic -- Symbolic Verification – Slicing -- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness -- A New Approach for Concurrent Program Slicing -- Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach -- Unified Modeling Languages -- Branching Time Semantics for UML 2.0 Sequence Diagrams -- Formalizing Collaboration Goal Sequences for Service Choreography -- Composition of Use Cases Using Synchronization and Model Checking -- Petri Nets -- PN Standardisation: A Survey -- Resource Allocation Systems: Some Complexity Results on the S4PR Class -- Optimized Colored Nets Unfolding -- Parameterized Verification -- Liveness by Invisible Invariants -- Real Time -- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts -- Scenario-Based Timing Consistency Checking for Time Petri Nets -- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets -- Testing -- Grey-Box Checking -- Integration Testing of Distributed Components Based on Learning Parameterized I/O Models -- Minimizing Coordination Channels in Distributed Testing -- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540462194

Language: English

DOI: 10.1007/11888116

URL: http://dx.doi.org/10.1007/11888116

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

hits 1 - 5 | 5 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg