Reasoning about complex, dynamic systems using formal approaches

Project: Research

Project Details

StatusFinished
Effective start/end date21/07/1014/01/11