Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

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
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:
Data valid to 2019-06-27
For updated information see http://bilakniha.cvut.cz/en/predmet24761605.html