Explores the validation and monitoring of Environmental Management Systems, emphasizing the importance of environmental indicators and performance measurement.
Covers the implementation and evaluation of a practical project in Distributed Algorithms, focusing on building Perfect Links, FIFO Broadcast, and Localized Causal Broadcast.