Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2004
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2004
Band 3235

Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.09.2004

Herausgeber

David de Frutos-Escrig + weitere

Verlag

Springer Berlin

Seitenzahl

382

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

620 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23252-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.09.2004

Herausgeber

Verlag

Springer Berlin

Seitenzahl

382

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

620 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23252-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2004
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2004
  • Invited Talks.- A Logical Account of NGSCB.- Composing Event Constraints in State-Based Specification.- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.- Regular Papers.- Parameterized Models for Distributed Java Objects.- Towards the Harmonisation of UML and SDL.- Localizing Program Errors for Cimple Debugging.- Formal Verification of a Practical Lock-Free Queue Algorithm.- Formal Verification of Web Applications Modeled by Communicating Automata.- Towards Design Recovery from Observations.- Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.- Connectivity Testing Through Model-Checking.- Fault Propagation by Equation Solving.- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.- Formal Composition of Distributed Scenarios.- Conditions for Resolving Observability Problems in Distributed Testing.- Integrating Formal Verification with Mur? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.- Witness and Counterexample Automata for ACTL.- A Symbolic Symbolic State Space Representation.- Introducing the Iteration in sPBC.- Petri Net Semantics of the Finite ?-Calculus.- Symbolic Diagnosis of Partially Observable Concurrent Systems.- Automatized Verification of Ad Hoc Routing Protocols.- A Temporal Logic Based Framework for Intrusion Detection.