International Projects of the National Aerospace University "Kharkiv aviation Institute" financed by Tempus and Erasmus+ projects

MSc and PhD Studies in Aerospace Critical Computing


MVT Intro.doc
MSc "Multi-version systems and technologies for critical applications" - content

MVT.ppt
MSc "Multi-version systems and technologies for critical applications" - Course overview

MSc1_.pdf
MSc course 1 "Software Quality Assessment and Expertise" (lecture notes) - full version available on www.mastac.org.ua

MSc1_P.pdf
MSc course 1 "Software Quality Assessment and Expertise" (lab classes) - full version available on www.mastac.org.ua

MSc2_.pdf
MSc course 2 "Dependable Systems, Networks and Services" (lecture notes) - full version available on www.mastac.org.ua

MSc2_P.pdf
MSc course 2 "Dependable Systems, Networks and Services" (lab classes) - full version available on www.mastac.org.ua

MSc3_.pdf
MSc course 3 "Fault-Tolerant Embedded PLD-systems" (lecture notes) - full version available on www.mastac.org.ua

MSc3_P.pdf
MSc course 3 "Fault-Tolerant Embedded PLD-systems" (lab classes) - full version available on www.mastac.org.ua

MSc4_.pdf
MSc course 4 "Multi-Version Systems and Technologies for Critical Applications" (lecture notes) - full version available on www.mastac.org.ua

MSc4_P.pdf
MSc course 4 "Multi-Version Systems and Technologies for Critical Applications" (lab classes) - full version available on www.mastac.org.ua

PhD1_.pdf
PhD course 1 "Modeling of Dependable Systems and Networks" (lecture notes) - full version available on www.mastac.org.ua

PhD1_P.pdf
PhD course 1 "Modeling of Dependable Systems and Networks" (lab classes) - full version available on www.mastac.org.ua

PhD2_.pdf
PhD course 2 "Formal Methods of Critical Software Development" (lecture notes) - full version available on www.mastac.org.ua

PhD2_P.pdf
PhD course 2 "Formal Methods of Critical Software Development" (lab classes) - full version available on www.mastac.org.ua

TRC-guide.pdf
Users Guide for the Critical Computing Training Resource Center