System-level verification

Semester: 
2016. ősz
  • 2016-11-22 LEC11 Architecture verification
  • 2016-11-29 LEC12 Dependability analysis
  • 2016-12-06 LEC13 Runtime verification
Letöltés: 
application/pdf icon11-SWSV-architecture-verification.pdf
application/pdf icon12-SWSV-dependability-analysis.pdf
application/pdf icon13-SWSV-runtime-verification.pdf

Nyelvek

  • English
  • Magyar

Belépés

Navigáció