Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 24. jaanuar 2022, kell 12:39 erin ajal -60 MSc seminar I 2022 Spring →ITX8301 Magistriseminar I / MSc Seminar I praegune
- 24. jaanuar 2022, kell 12:34 erin ajal 0 MSc seminar I 2022 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 14. veebruar 2020, kell 08:47 erin ajal 0 Software Synthesis and Verification
- 14. veebruar 2020, kell 08:38 erin ajal -1 Software Synthesis and Verification →Labs - To be updated from lab 4 on wards
- 14. veebruar 2020, kell 08:36 erin ajal 0 U Fail:HoareLogic.tar praegune
- 14. veebruar 2020, kell 08:36 erin ajal +165 Software Synthesis and Verification →Labs
- 14. veebruar 2020, kell 08:28 erin ajal +112 Software Synthesis and Verification
- 9. detsember 2019, kell 12:19 erin ajal -13 ITI8610 →Module II: : Assured Software Analytics
- 9. detsember 2019, kell 12:17 erin ajal 0 U Fail:Automotive audio amplifiers.pdf praegune
- 9. detsember 2019, kell 12:16 erin ajal +54 ITI8610 →Module II: : Assured Software Analytics
- 18. november 2019, kell 16:15 erin ajal 0 U Fail:WorstPracticesInSWDevelopment.pdf praegune
- 18. november 2019, kell 16:12 erin ajal +132 ITI8610 →Module II: : Assured Software Analytics
- 31. oktoober 2019, kell 12:03 erin ajal 0 U Fail:OpenJML installation instructions.pdf praegune
- 31. oktoober 2019, kell 12:03 erin ajal +106 ITI8610 →Module II
- 14. mai 2019, kell 14:44 erin ajal 0 U Fail:Software Synthesis - Lecture V - Recap.pdf praegune
- 14. mai 2019, kell 14:43 erin ajal +14 Software Synthesis and Verification
- 14. mai 2019, kell 07:36 erin ajal 0 U Fail:Software Synthesis and Verification LTL Assignment-Updated Spec.pdf praegune
- 14. mai 2019, kell 07:36 erin ajal +226 Software Synthesis and Verification
- 10. mai 2019, kell 07:10 erin ajal 0 U Fail:Acacia Manual.pdf praegune
- 10. mai 2019, kell 07:09 erin ajal +103 Software Synthesis and Verification
- 9. mai 2019, kell 09:11 erin ajal 0 U Fail:Acacia Installation Commands.pdf praegune
- 9. mai 2019, kell 09:11 erin ajal +80 Software Synthesis and Verification
- 9. mai 2019, kell 09:04 erin ajal 0 U Fail:Guidelines for Lab Exercise Report for Synthesis with Acacia.pdf praegune
- 9. mai 2019, kell 09:03 erin ajal +104 Software Synthesis and Verification
- 7. mai 2019, kell 14:59 erin ajal 0 U Fail:Software Synthesis - LTL Synthesis with Acacia part III - Lecture 14.pdf praegune
- 7. mai 2019, kell 14:59 erin ajal +45 Software Synthesis and Verification
- 30. aprill 2019, kell 13:07 erin ajal +6 Software Synthesis and Verification
- 30. aprill 2019, kell 12:57 erin ajal 0 Fail:Software Synthesis - LTL Synthesis and Acacia II - Lecture 13.pdf Leonidas laadis üles faili "Pilt:Software Synthesis - LTL Synthesis and Acacia II - Lecture 13.pdf" uue versiooni praegune
- 30. aprill 2019, kell 12:36 erin ajal 0 Fail:Software Synthesis - LTL Synthesis and Acacia II - Lecture 13.pdf Leonidas laadis üles faili "Pilt:Software Synthesis - LTL Synthesis and Acacia II - Lecture 13.pdf" uue versiooni
- 30. aprill 2019, kell 12:34 erin ajal 0 U Fail:Software Synthesis - LTL Synthesis and Acacia II - Lecture 13.pdf
- 30. aprill 2019, kell 12:30 erin ajal +32 Software Synthesis and Verification
- 23. aprill 2019, kell 13:25 erin ajal +6 Software Synthesis and Verification
- 23. aprill 2019, kell 13:21 erin ajal 0 U Fail:Software Synthesis - Introduction to Acacia - Lecture 12.pdf praegune
- 23. aprill 2019, kell 13:21 erin ajal +33 Software Synthesis and Verification
- 16. aprill 2019, kell 10:21 erin ajal 0 U Fail:Software Synthesis - Overview of Temporal Synthesis - Lecture 11.pdf praegune
- 16. aprill 2019, kell 10:20 erin ajal +41 Software Synthesis and Verification
- 29. november 2018, kell 10:43 erin ajal +2 ITI8610 →Module II: : Assured Software Analytics
- 29. november 2018, kell 10:40 erin ajal 0 U Fail:OpenJML - Solvers - 15 11 2018.pdf praegune
- 29. november 2018, kell 10:39 erin ajal +8 ITI8610 →Module II: : Assured Software Analytics
- 29. november 2018, kell 06:38 erin ajal -2 ITI8610 →Grading