Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation
Conference Paper
Overview
publication date
- January 1, 2004
has subject area
published in
- https://forschungsatlas.fid-bau.de/individual/ Geographic Location