Lecture 13: Refinement of Non-determinism

58 Views

In this lecture, we present how the refinement process allows the resolution of non-deterministic constructs.

Supplementary material

Sign in to receive news from MOOC IMD and to access course forums.