Kasutaja DeepakPal üleslaaditud failid
Mine navigeerimisribale
Mine otsikasti
Sellel erileheküljel näidatakse kõiki üles laaditud faile.
Kuupäev | Nimi | Pisipilt | Suurus | Kirjeldus | Versioonid |
---|---|---|---|---|---|
22. veebruar 2018, kell 06:30 | UPPAAL Tutorial.pdf (fail) | 970 KB | 2 | ||
22. veebruar 2018, kell 06:35 | LightController.xml (fail) | 2 KB | Light Controller Model | 1 | |
22. veebruar 2018, kell 06:37 | LightControllerQuery.q (fail) | 464 baiti | Light Controller Query | 1 | |
22. veebruar 2018, kell 06:57 | Lab2 MODEL CHECKING.pdf (fail) | 312 KB | Model_Checking_Theory | 1 | |
22. veebruar 2018, kell 06:57 | Atm system.xml (fail) | 5 KB | ATM_Model | 1 | |
22. veebruar 2018, kell 06:58 | Atm system query.q (fail) | 283 baiti | 1 | ||
22. veebruar 2018, kell 07:01 | New Lab2 MODEL CHECKING.pdf (fail) | 337 KB | 1 | ||
22. veebruar 2018, kell 07:08 | Lab3 Lab Lecture.pdf (fail) | 440 KB | 1 | ||
22. veebruar 2018, kell 22:06 | Jobber.xml (fail) | 17 KB | 1 | ||
22. veebruar 2018, kell 22:08 | Jobber query.q (fail) | 428 baiti | 1 | ||
22. veebruar 2018, kell 22:10 | Jobber Query1.q (fail) | 101 baiti | 1 | ||
8. märts 2018, kell 15:37 | Lecture 5.pdf (fail) | 1,74 MB | 1 | ||
8. märts 2018, kell 15:42 | Attempt1 Model.xml (fail) | 3 KB | 1 | ||
8. märts 2018, kell 15:44 | Attempt1 query.q (fail) | 154 baiti | 1 | ||
8. märts 2018, kell 17:10 | Lab Assignments.pdf (fail) | 1,12 MB | 1 | ||
15. aprill 2018, kell 19:12 | ElevatorControl V1 29062017.pdf (fail) | 96 KB | 1 | ||
15. aprill 2018, kell 19:14 | ModellingRequirement.pptx (fail) | 979 KB | 1 |