Prerequisites:None
Corporate IT systems
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
The module exposes students to problems associated with software development on an industrial scale.
The aim of this module is to acquire a sound knowledge of the basic theory of interactive computer graphics and basic computer graphics programming …