ISBN: 9783540232520 - formal techniques for networked and distributed systems - forte 2004: 24th ifip wg 6.1 international conference, madrid spain, september 27-30, 2004, ... notes in computer science, 3235, band 3235) (3 Ergebnisse)

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…