Login

Tools for Systems verification Description

Key Elements

Code

ILOG 545

Formation

M2 Software Engineering

Semester

1

Credits

3

Number of Teaching Hours

18

Number of Tutoring Sessions

0

Number of Laboratory Sessions

6

This course is optional

Content

Objective

Content