Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
didattica:magistrale:ssi:ay_1516:main [2016/02/15 00:41] mescal created |
didattica:magistrale:ssi:ay_1516:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| * [[didattica:magistrale:nd:ay_1516:main|Networking Discovery (CISCO III-IV)]] (6 CFU) | * [[didattica:magistrale:nd:ay_1516:main|Networking Discovery (CISCO III-IV)]] (6 CFU) | ||
| * [[didattica:magistrale:qns:ay_1516:main|Queuing Network: Simulation]] (6 CFU) | * [[didattica:magistrale:qns:ay_1516:main|Queuing Network: Simulation]] (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) |
| </WRAP> | </WRAP> | ||
