Covers systems engineering, project management, quality assurance, and space mechanisms, emphasizing the importance of proper requirements and verification.
Explores dependability in industrial automation, covering reliability, safety, fault characteristics, and examples of failure sources in various industries.
Covers the implementation and evaluation of a practical project in Distributed Algorithms, focusing on building Perfect Links, FIFO Broadcast, and Localized Causal Broadcast.
