Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
3235 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal techniques for networked and distributed systems, FORTE 2004, 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004, proceedings, David de Frutos-Escrig, Manuel Núñez (eds.), Berlin, Springer, 2004, 1 vol. (X-375 p.), Lecture notes in computer science, 3-540-23252-4 • Formal Techniques for Networked and Distributed Systems - FORTE 2004, Texte imprimé, 9783662166727 |
תוכן הענינים:
- 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.