en | de

Model Checking

master program

VO2  SS 2009  703521

Introduction

The course covers the following topics:

Literature

The course is mainly based on the following books:

Language

The course is taught in English.