Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
courses:2019:ee512 [2019/11/06 17:51]
arijit [Slides]
courses:2019:ee512 [2019/11/20 21:45] (current)
arijit [Slides]
Line 28: Line 28:
   * {{ :​courses:​2019:​ee512:​11_multitasking.pdf |Multitasking}}   * {{ :​courses:​2019:​ee512:​11_multitasking.pdf |Multitasking}}
   * {{ :​courses:​2019:​ee512:​12_scheduling.pdf |Scheduling}}   * {{ :​courses:​2019:​ee512:​12_scheduling.pdf |Scheduling}}
 +  * {{ :​courses:​2019:​ee512:​13_verification.pdf |Verification}}
 +  * {{ :​courses:​2019:​ee512:​15_quantitative_analysis.pdf |Quantitative analysis}}
   ​   ​
   ​   ​