000 05449nam a22006015i 4500
001 978-3-540-39979-7
003 DE-He213
005 20240423132507.0
007 cr nn 008mamaa
008 121227s2003 gw | s |||| 0|eng d
020 _a9783540399797
_9978-3-540-39979-7
024 7 _a10.1007/11965
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aFormal Techniques for Networked and Distributed Systems - FORTE 2003
_h[electronic resource] :
_b23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /
_cedited by Hartmut König, Monika Heiner, Adam Wolisz.
250 _a1st ed. 2003.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2003.
300 _aXII, 429 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2767
505 0 _aUNIX 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 _aThis 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 _aComputer networks .
650 0 _aSoftware engineering.
650 0 _aOperating systems (Computers).
650 0 _aComputer science.
650 1 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aOperating Systems.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aKönig, Hartmut.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aHeiner, Monika.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWolisz, Adam.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540201755
776 0 8 _iPrinted edition:
_z9783662190128
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2767
856 4 0 _uhttps://doi.org/10.1007/11965
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188359
_d188359