ADA Language and Programming Languages Security for Acute Situations
The course is not on the list Without time-table
| Code | Completion | Credits | Range |
|---|---|---|---|
| 14JADA | ZK |
- Garant předmětu:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Applied Informatics in Transportation
- Synopsis:
-
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.
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: