000 03810nam a22006135i 4500
001 978-3-642-13464-7
003 DE-He213
005 20240423130053.0
007 cr nn 008mamaa
008 100607s2010 gw | s |||| 0|eng d
020 _a9783642134647
_9978-3-642-13464-7
024 7 _a10.1007/978-3-642-13464-7
_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 Distributed Systems
_h[electronic resource] :
_bJoint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /
_cedited by John Hatcliff, Elena Zucca.
250 _a1st ed. 2010.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2010.
300 _aXII, 233 p. 40 illus.
_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 ;
_v6117
505 0 _aInvited Talk -- Formal Software Verification: How Close Are We? -- Formal UML Modeling -- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning -- Reactive Semantics for Distributed UML Activities -- Components and Architecture -- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems -- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude -- Testing Probabilistic Distributed Systems -- Specification and Testing of E-Commerce Agents Described by Using UIOLTSs -- Testing Attribute-Based Transactions in SOC -- Joint DisCoTec Session -- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory -- Timed Process Algebra -- Forgetting the Time in Timed Process Algebra -- Theory and Implementation of a Real-Time Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid Systems Using Shallow Synchronization -- Program Logics and Analysis -- Heap-Dependent Expressions in Separation Logic -- Static Type Analysis of Pattern Matching by Abstract Interpretation -- Reasoning about Distributed Systems -- On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols -- On Efficient Models for Model Checking Message-Passing Distributed Protocols -- Logics for Contravariant Simulations.
650 0 _aComputer networks .
650 0 _aComputer programming.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 0 _aMachine theory.
650 1 4 _aComputer Communication Networks.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
700 1 _aHatcliff, John.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aZucca, Elena.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642134630
776 0 8 _iPrinted edition:
_z9783642134654
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v6117
856 4 0 _uhttps://doi.org/10.1007/978-3-642-13464-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c184707
_d184707