Assignments Post Mid Sem

Assignments sorted in ascending order of submission date

CPS

Due Date: Saturday, 15 April 2023, 12:00 AM

Check this: CPS Assignment 1 Guide

Need to learn Uppaal Modelling for this. Recording video march 4th he has explained about uppaal with a train gate example.

References

• https://www.youtube.com/watch?v=IMHOaQyHqck
• https://uppaal.org/casestudies/smc/#train-gate-case-study
• 
• Use Chapter-5.pdf to understand what to do for the 2nd part of the assignment. The models that need to be prepared are put towards the end of the Chapter-5 PDF.

NEA

Due Date: Monday, 17 April 2023, 11:55 PM

Looks like some theoretical question.

SPA

Due Date: Friday, 21 April 2023 (extended to 30 April 2023)

Check this: SPA Assignment 1 Guide

I am G7.

Need to learn some Python to program this.

SA

Due Date: Sunday, 30 April 2023, 11:55 PM