000 05059nam a22005535i 4500
001 978-3-540-32084-5
003 DE-He213
005 20240730190357.0
007 cr nn 008mamaa
008 100319s2005 gw | s |||| 0|eng d
020 _a9783540320845
_9978-3-540-32084-5
024 7 _a10.1007/11562436
_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 2005
_h[electronic resource] :
_b25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /
_cedited by Farn Wang.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXII, 558 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3731
505 0 _aKEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarchy of Implementable MSC Languages -- Combining Static Analysis and Model Checking for Systems Employing Commutative Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden Markov Models -- Proving ??-Calculus Properties with SAT-Based Model Checking -- Ad Hoc Routing Protocol Verification Through Broadcast Abstraction -- Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol -- Thread Allocation Protocols for Distributed Real-Time and Embedded Systems -- A Petri Net View of Mobility -- Modular Verification of Petri Nets Properties: A Structure-Based Approach -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures -- Automatic Generation of Conflict-Free IPsec Policies -- A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks -- Model Checking for Timed Statecharts -- Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis -- Modeling and Verification of Safety-Critical Systems Using Safecharts -- Structure Preserving Data Abstractions for Statecharts -- Amortised Bisimulations -- Proof Methodologies for Behavioural Equivalence in Dpi -- Deriving Non-determinism from Conjunction and Disjunction -- Abstract Operational Semantics for Use Case Maps -- ArchiTRIO: A UML-Compatible Language for ArchitecturalDescription and Its Formal Semantics -- Submodule Construction for Extended State Machine Models -- Towards Synchronizing Linear Collaborative Objects with Operational Transformation -- Designing Efficient Fail-Safe Multitolerant Systems -- Hierarchical Decision Diagrams to Exploit Model Structure -- Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks -- Formalising Web Services -- From Automata Networks to HMSCs: A Reverse Model Engineering Perspective -- Properties as Processes: Their Specification and Verification -- SHORT PAPERS -- Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks -- Automatic Partitioner for Behavior Level Distributed Logic Simulation -- Expressive Completeness of an Event-Pattern Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test Generation -- Formal Description of Mobile IPv6 Protocol -- Incremental Modeling Under Large-Scale Distributed Interaction -- The Inductive Approach to Strand Space -- Compositional Modelling and Verification of IPv6 Mobility.
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aOperating systems (Computers).
_95329
650 1 4 _aComputer Communication Networks.
_9142271
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aOperating Systems.
_937074
700 1 _aWang, Farn.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9142272
710 2 _aSpringerLink (Online service)
_9142273
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540291893
776 0 8 _iPrinted edition:
_z9783540816393
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3731
_9142274
856 4 0 _uhttps://doi.org/10.1007/11562436
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93220
_d93220