Kõik avalikud logid

See on Kursused kõigi olemasolevate logide ühendkuva. Valiku kitsendamiseks vali logitüüp, sisesta kasutajanimi (tõstutundlik) või huvipakkuva lehekülje pealkiri (samuti tõstutundlik).

• 15. aprill 2018, kell 19:14 DeepakPal arutelu kaastöö laadis üles faili Fail:ModellingRequirement.pptx
• 15. aprill 2018, kell 19:12 DeepakPal arutelu kaastöö laadis üles faili Fail:ElevatorControl V1 29062017.pdf
• 8. märts 2018, kell 17:10 DeepakPal arutelu kaastöö laadis üles faili Fail:Lab Assignments.pdf
• 8. märts 2018, kell 15:44 DeepakPal arutelu kaastöö laadis üles faili Fail:Attempt1 query.q
• 8. märts 2018, kell 15:42 DeepakPal arutelu kaastöö laadis üles faili Fail:Attempt1 Model.xml
• 8. märts 2018, kell 15:37 DeepakPal arutelu kaastöö laadis üles faili Fail:Lecture 5.pdf
• 22. veebruar 2018, kell 22:10 DeepakPal arutelu kaastöö laadis üles faili Fail:Jobber Query1.q
• 22. veebruar 2018, kell 22:08 DeepakPal arutelu kaastöö laadis üles faili Fail:Jobber query.q
• 22. veebruar 2018, kell 22:06 DeepakPal arutelu kaastöö laadis üles faili Fail:Jobber.xml
• 22. veebruar 2018, kell 07:08 DeepakPal arutelu kaastöö laadis üles faili Fail:Lab3 Lab Lecture.pdf
• 22. veebruar 2018, kell 07:01 DeepakPal arutelu kaastöö laadis üles faili Fail:New Lab2 MODEL CHECKING.pdf
• 22. veebruar 2018, kell 06:58 DeepakPal arutelu kaastöö laadis üles faili Fail:Atm system query.q
• 22. veebruar 2018, kell 06:57 DeepakPal arutelu kaastöö laadis üles faili Fail:Atm system.xml (ATM_Model)
• 22. veebruar 2018, kell 06:57 DeepakPal arutelu kaastöö laadis üles faili Fail:Lab2 MODEL CHECKING.pdf (Model_Checking_Theory)
• 22. veebruar 2018, kell 06:37 DeepakPal arutelu kaastöö laadis üles faili Fail:LightControllerQuery.q (Light Controller Query)
• 22. veebruar 2018, kell 06:35 DeepakPal arutelu kaastöö laadis üles faili Fail:LightController.xml (Light Controller Model)
• 22. veebruar 2018, kell 06:30 DeepakPal arutelu kaastöö laadis üles uue versiooni failist Fail:UPPAAL Tutorial.pdf
• 22. veebruar 2018, kell 06:15 DeepakPal arutelu kaastöö laadis üles faili Fail:UPPAAL Tutorial.pdf (UPPAAL introduction)