Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Record no. 188359)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05449nam a22006015i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-39979-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132507.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s2003 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540399797 |
| -- | 978-3-540-39979-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/11965 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK5105.5-5105.9 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UKN |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM043000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UKN |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.6 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Techniques for Networked and Distributed Systems - FORTE 2003 |
| Medium | [electronic resource] : |
| Remainder of title | 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / |
| Statement of responsibility, etc | edited by Hartmut König, Monika Heiner, Adam Wolisz. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2003. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2003. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 429 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 2767 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer networks . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Operating systems (Computers). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Operating Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | König, Hartmut. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Heiner, Monika. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wolisz, Adam. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540201755 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662190128 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 2767 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/11965">https://doi.org/10.1007/11965</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.