KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods for Distributed System Development
  • Produktbild: Formal Methods for Distributed System Development
Band 55 - 12%

Formal Methods for Distributed System Development FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

Aus der Reihe IFIP Advances in Information and Communication Technology
12% sparen

187,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.09.2000

Abbildungen

XX, 412 p.

Herausgeber

Tommaso Bolognesi + weitere

Verlag

Springer Us

Seitenzahl

412

Maße (L/B/H)

24,1/16/2,8 cm

Gewicht

805 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-7968-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.09.2000

Abbildungen

XX, 412 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

412

Maße (L/B/H)

24,1/16/2,8 cm

Gewicht

805 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-7968-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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 Methods for Distributed System Development
  • Produktbild: Formal Methods for Distributed System Development
  • 1. Formal Verification of the TTP Group Membership Algorithm.- 2. Verification of a Sliding Window Protocol Using IOA and MONA.- 3. A Priori Verification of Reactive Systems.- 4. From Rule-based to Automata-based Testing.- 5. Integrated System Interoperability Testing with Applications to VOIP.- 6. On Test Derivation from Partial Specifications.- 7. Compositionality for Improving Model Checking.- 8. A Model Checking Method for Partially Symmetric Systems.- 9. Specification and Verification of Message Sequence Charts.- 10. A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.- 11. Verification of Consistency Protocols via Infinite-State Symbolic Model Checking.- 12. Systematic Performance Evaluation of Multipoint Protocols.- 13. Simulating Multicast Transport Protocols in Estelle.- 14. Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models.- 15. Satisfaction up to Liveness.- 16. Testing IP Routing Protocols — From Probabilistic Algorithms to a Software Tool.- 17. Verifying and Testing Asynchronous Circuits using LOTOS.- 18. Hardware implementation of Concurrent Periodic EFSM’s.- 19. Modeling Distributed Embedded Systems in Multiclock ESTEREL.- 20. Compact Net Semantics for Process Algebras.- 21. A Concise Compositional Statecharts Semantics Definition.- 22 Implementing CCS in Maude.- 23. From Refutation to Verification.- 24. Process Algebraic Analysis of Cryptographic Protocols.- 25. A Logic of Belief and a Model Checking Algorithm for Security Protocols.