Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings
This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29 October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2767 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 2003, 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003, proceedings, ed.by Hartmut König, Monika Heiner, Adam Wolisz, Berlin, Springer, 2003, 1 vol. (XII-429 p.), Lecture notes in computer science, 3-540-20175-0 • Formal Techniques for Networked and Distributed Systems - FORTE 2003, Texte imprimé, 9783662190128 |
Indholdsfortegnelse:
- UNIX STREAMS Generation from a Formal Specification
- Specifying and Realising Interactive Voice Services
- Vertical Reuse in the Development of Distributed Systems with FDTs
- Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
- Validation of the Sessionless Mode of the HTTPR Protocol
- Generation of All Counter-Examples for Push-Down Systems
- Modeling and Model Checking Mobile Phone Payment Systems
- Behavioural Contracts for a Sound Assembly of Components
- Automatic Verification of Annotated Code
- Combating Infinite State Using Ergo
- Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
- Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream
- Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
- How Stop and Wait Protocols Can Fail over the Internet
- Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
- A Lightweight Formal Analysis of a Multicast Key Management Scheme
- Formal Security Policy Verification of Distributed Component-Structured Software
- Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers
- Concerning the Ordering of Adaptive Test Sequences
- Correct Passive Testing Algorithms and Complete Fault Coverage
- QoS Functional Testing for Multi-media Systems
- Towards Testing Stochastic Timed Systems
- Formal Design of Interactive Multimedia Documents
- Progressive Solutions to a Parallel Automata Equation
- Type Abstraction in Formal Protocol Specifications with Container Types
- Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems
- Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts.