KI-Beratung Beta

Produktbild: Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Fr. 191.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.05.2013

Abbildungen

X, 404 p.

Herausgeber

S.T. Vuong + weitere

Verlag

Springer Us

Seitenzahl

404

Maße (L/B/H)

23.5/15.5/2.3 cm

Gewicht

633 g

Auflage

1995

Sprache

Englisch

ISBN

978-1-4757-6308-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.05.2013

Abbildungen

X, 404 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

404

Maße (L/B/H)

23.5/15.5/2.3 cm

Gewicht

633 g

Auflage

1995

Sprache

Englisch

ISBN

978-1-4757-6308-9

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: Protocol Specification, Testing and Verification XIV
  • Preface. Committee members and invited speakers. List of referees. Full papers. Session One: FDTs and enhancements. Invited address I. Session Two: Verification methodology based on FDTs. Session Three: Testing - architecture, fault coverage and interoperability. Session Four: Protocol specification and design methodology. Invited address II - Abstract. Session Five: Testing - theoretical issues. Session Six: Verification methods. Short papers. Session Seven: Modelling and verification of realtime systems. Invited address III - Abstract. Session Eight: Testing - tools and methods. Session Nine: FDT-based design, specification and implementation. Index of contributors. Keyword index.