čeština
Programming Languages Security for Acute Situations
- Course Code:
- 14ZJA
- Academic Degree:
- doctoral
- Study Programme:
-
Engineering Informatics (P 3902)
language study field / specialization 
I Engineering Informatics of Transportation and Communication - 3902V036 - Form of Study:
- full-time and part-time
- Type of Course:
- optional
- Course Completion:
- exam v DB je chyba..
- Supervising Department:
- Department of Applied Informatics in Transportation (16114)
- Abstract:
- Creation specifications of enhanced RT operating systems. Problems with SW testing and its correctness substantiation. Programming languages security as protection against programmers´ errors, its analysis. ADA language and its security analysis.