KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods for Protocol Engineering and Distributed Systems
  • Produktbild: Formal Methods for Protocol Engineering and Distributed Systems
Band 28 - 13%

Formal Methods for Protocol Engineering and Distributed Systems Forte XII / PSTV XIX’99

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

185,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.04.2013

Abbildungen

XII, 500 p.

Herausgeber

Jianping Wu + weitere

Verlag

Springer Us

Seitenzahl

500

Maße (L/B/H)

27,9/21/2,8 cm

Gewicht

1244 g

Sprache

Englisch

ISBN

978-1-4757-5270-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.04.2013

Abbildungen

XII, 500 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

500

Maße (L/B/H)

27,9/21/2,8 cm

Gewicht

1244 g

Sprache

Englisch

ISBN

978-1-4757-5270-0

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 Protocol Engineering and Distributed Systems
  • Produktbild: Formal Methods for Protocol Engineering and Distributed Systems
  • Invited Talk I.- 1 Confirming configurations in EFSM.- 2 Remote testing can be as powerful as local testing.- 3 Hit-or-Jump: An algorithm for embedded testing with applications to IN services.- 4 Scalable and Object Oriented SDL State(chart)s.- 5 Prototyping Framework for SDL with Evolving Semantics.- 6 Framework for Automatic SDL to C++ Translation.- 7 Stress Testing of Distributed Multimedia Software Systems.- 8 Fair Testing through Probabilistic Testing.- 9 A Formal Approach to Conformance Testing of Distributed Routing Protocols.- Invited Talk II.- 10 Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering.- 11 A Graphical Parallel Composition Operator for Process Algebras.- 12 Guaranteeing liveness in an object calculus through behavioural typing.- 13 Black Box Checking.- 14 An Optimizing Compiler for Efficient Model Checking.- 15 Exploiting Symmetry when Model-Checking Software.- 16 User-Friendly Verification.- 17 Specification and Verification of Synchronous Hardware using LOTOS.- 18 Provably Correct Hardware Compilation using Timing Diagrams.- Invited Talk III.- 19 An enhanced model for testing asynchronous communicating systems.- 20 Interoperability Test Suite Derivation for the TCP.- 21 Coverage analysis for embedded testing and an application.- 22 A Formal Description Technology: Graphic E-LOTOS.- 23 Global Timed Bisimulation: An Introduction.- 24 Protocol Synthesis for Real-Time Applications.- 25 Verifying an infinite family of inductions simultaneously using data independence and FDR.- 26 Specification and execution of tests using tMsc.- 27 Model-Checking A Secure Group Communication Protocol: A Case Study.- 28 Software Model Checking.- List of Contributors.