Researchers are investigating ways to better plan for climate-resilient energy systems in the Global South. Focusing on the case study of Accra, the capital of Ghana, the multidisciplinary team ...
This course introduces the basic concepts of functional verification and model checking, highlighting their importance in modern system designs. It explains different modeling formalisms for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback