Kasutaja DeepakPal üleslaaditud failid

Mine navigeerimisribale Mine otsikasti

Sellel erileheküljel näidatakse kõiki üles laaditud faile.

Failide loend
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