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 |
|---|---|---|---|---|---|
| 15. aprill 2018, kell 19:14 | ModellingRequirement.pptx (fail) |  |
979 KB | 1 | |
| 15. aprill 2018, kell 19:12 | ElevatorControl V1 29062017.pdf (fail) |  |
96 KB | 1 | |
| 8. märts 2018, kell 17:10 | Lab Assignments.pdf (fail) | |
1,12 MB | 1 | |
| 8. märts 2018, kell 15:44 | Attempt1 query.q (fail) | |
154 baiti | 1 | |
| 8. märts 2018, kell 15:42 | Attempt1 Model.xml (fail) | |
3 KB | 1 | |
| 8. märts 2018, kell 15:37 | Lecture 5.pdf (fail) | |
1,74 MB | 1 | |
| 22. veebruar 2018, kell 22:10 | Jobber Query1.q (fail) | |
101 baiti | 1 | |
| 22. veebruar 2018, kell 22:08 | Jobber query.q (fail) | |
428 baiti | 1 | |
| 22. veebruar 2018, kell 22:06 | Jobber.xml (fail) | |
17 KB | 1 | |
| 22. veebruar 2018, kell 07:08 | Lab3 Lab Lecture.pdf (fail) | |
440 KB | 1 | |
| 22. veebruar 2018, kell 07:01 | New Lab2 MODEL CHECKING.pdf (fail) | |
337 KB | 1 | |
| 22. veebruar 2018, kell 06:58 | Atm system query.q (fail) | |
283 baiti | 1 | |
| 22. veebruar 2018, kell 06:57 | Atm system.xml (fail) | |
5 KB | ATM_Model | 1 |
| 22. veebruar 2018, kell 06:57 | Lab2 MODEL CHECKING.pdf (fail) | |
312 KB | Model_Checking_Theory | 1 |
| 22. veebruar 2018, kell 06:37 | LightControllerQuery.q (fail) | |
464 baiti | Light Controller Query | 1 |
| 22. veebruar 2018, kell 06:35 | LightController.xml (fail) | |
2 KB | Light Controller Model | 1 |
| 22. veebruar 2018, kell 06:30 | UPPAAL Tutorial.pdf (fail) | |
970 KB | 2 |