Commits · 01f09a1404e0825a685fe210551d1e6f9bc34b43 · Nada Elmasry / cas741 · GitLab

Snippets Groups Projects

Nov 23, 2017
- Update to L22, material for L23-L25 · 01f09a14
  W. Spencer Smith authored 7 years ago
  
  01f09a14
- Material for L22 Assurance Cases. · 04d57095
  W. Spencer Smith authored 7 years ago
  
  04d57095
- Initial draft of L22, addition of assurance case related paper · 5fe54811
  W. Spencer Smith authored 7 years ago
  
  5fe54811
Nov 21, 2017
- Material for L21 · 867f890d
  W. Spencer Smith authored 7 years ago
  
  867f890d
Nov 06, 2017
- Shuffling folders and files to update order of topic introduction · 96246ea0
  W. Spencer Smith authored 7 years ago
  
  96246ea0
Oct 23, 2017
- Updates to L13 and initial structure for L14 to L21 · 5c479274
  W. Spencer Smith authored 7 years ago
  
  5c479274
Oct 17, 2017
- Addition of pdf files for L11 and L12, minor edits to L13. · b7787bb3
  W. Spencer Smith authored 7 years ago
  
  b7787bb3
Oct 03, 2017
- Additional examples, revise blank project template, v and v lecture · 821c8088
  W. Spencer Smith authored 7 years ago
  
  821c8088
Sep 21, 2017
- Updates to lectures, especially L05 and L06. · 27f7bf37
  W. Spencer Smith authored 7 years ago
  
  27f7bf37
Sep 15, 2017
- Initial stub for L06 lecture - will fill with material not covered in L05. · 4ae94632
  W. Spencer Smith authored 7 years ago
  
  4ae94632