Prerequisites:None
Dissertation: Computer science (Masters)
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
The objective of this module is to acquaint the student with the terminology of communication systems and to establish a thorough understanding of …
This module focuses on tools for Big Data processing. The focus is on the 3 V- characteristics of Big Data namely volume, velocity and variety.