Formal Techniques for Networked and Distributed Systems - FORTE 2005 (eBook, PDF)
-1%
80,95 €
Statt 81,99 €**
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei*
40 °P sammeln
-1%
80,95 €
Statt 81,99 €**
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei*

Alle Infos zum eBook verschenken
40 °P sammeln
Als Download kaufen
Statt 81,99 €**
-1%
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
40 °P sammeln
Jetzt verschenken
Statt 81,99 €**
-1%
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
40 °P sammeln
  • Format: PDF


Produktdetails
  • Verlag: Springer-Verlag GmbH
  • Seitenzahl: 558
  • Erscheinungstermin: 20. Oktober 2005
  • Englisch
  • ISBN-13: 9783540320845
  • Artikelnr.: 44224162

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Autorenporträt
Farn Wang, National Taiwan University, Taipei, Taiwan
Inhaltsangabe
KEYNOTE 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