Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2004.
|
| Έκδοση: | 1st ed. 2004. |
| Σειρά: | Lecture Notes in Computer Science,
3235 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
