Phased design and verification of stabilizing systems

We couldn't estimate the reading time for this book.

Author

Michael Siegel

Contributions

Universität Kiel. Institut für Informatik und Praktische Mathematik - Contributor

Publication

1996 - Christian-Albrechts Universität, Kiel, Germany

Language

German

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

OCLC Control Number51295488
Open LibraryOL56994702M

Classifications

LCCQA76.9.S54 S53 1996t

Subjects

Topics

Fault-tolerant computing Self-stabilization (Computer science)

Series Statement

Bericht -- Nr. 9705, Juli 1996

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!