Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:smv:ay_1516:main [2016/02/28 15:05] mescal |
didattica:magistrale:smv:ay_1516:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * [[didattica:magistrale:dcc:ay_1516:main|Distributed Calculus and Coordination]] (12 CFU) | * [[didattica:magistrale:dcc:ay_1516:main|Distributed Calculus and Coordination]] (12 CFU) | ||
| * [[didattica:magistrale:fmsis:ay_1516:main|Formal Modeling of Software Intensive Systems]] (6 CFU) | * [[didattica:magistrale:fmsis:ay_1516:main|Formal Modeling of Software Intensive Systems]] (6 CFU) | ||
| - | * [[didattica:magistrale:rsv:ay_1516:main|Reactive Systems Verification]] (6 CFU) | + | * [[didattica:magistrale:rsv:ay_1516:main|Reactive Systems Verification alias Model Checking I ]] (6 CFU) |
| **Selection in SMV group** (6 CFU): | **Selection in SMV group** (6 CFU): | ||
| * [[didattica:magistrale:bpmf:ay_1516:main|Business Process Management and Flexibility]] (6 CFU) | * [[didattica:magistrale:bpmf:ay_1516:main|Business Process Management and Flexibility]] (6 CFU) | ||
