Formal Techniques for Networked and Distributed Systems – FORTE 2004 [electronic resource] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings / edited by David Frutos-Escrig, Manuel Núñez.
Material type: TextSeries: Lecture Notes in Computer Science ; 3235Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Description: X, 382 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540302322Subject(s): Computer science | Computer Communication Networks | Software engineering | Operating systems (Computers) | Logic design | Computer Science | Computer Communication Networks | Software Engineering | Logics and Meanings of Programs | Operating SystemsAdditional physical formats: Printed edition:: No titleDDC classification: 004.6 LOC classification: TK5105.5-5105.9Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK3424 |
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.
There are no comments on this title.