Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2002
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2002
Band 2529

Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2002

Abbildungen

X, 374 p.

Herausgeber

Doron A. Peled + weitere

Verlag

Springer Berlin

Seitenzahl

374

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-00141-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2002

Abbildungen

X, 374 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

374

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-00141-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2002
  • Produktbild: Formal Techniques for Networked and Distributed Systems - FORTE 2002
  • Encoding PAMR into (Timed) EFSMs.- Submodule Construction for Specifications with Input Assumptions and Output Guarantees.- Congruent Weak Conformance, a Partial Order among Processes.- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.- A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.- Protocol Techniques for Testing Radiotherapy Accelerators.- System Test Synthesis from UML Models of Distributed Software.- Formal Test Purposes and the Validity of Test Cases.- Use of Logic to Describe Enhanced Communications Services.- A Formal Venture into Reliable Multicast Territory.- Modelling SIP Services Using Cress.- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.- Verifying Randomized Byzantine Agreement_.- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.- Visual Specifications for Modular Reasoning about Asynchronous Systems.- Bounded Model Checking for Timed Systems.- C Wolf - A Toolset for Extracting Models from C Programs.- NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.- Building Tools for LOTOS Symbolic Semantics in Maude.- From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.- A Compositional Sweep-Line State Space Exploration Method.- On Combining the Persistent Sets Method with the Covering Steps Graph Method.- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.- Mechanical Translation of I/O Automaton Specifications into First-Order Logic.- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.- A Distributed Partial Order Reduction Algorithm.