Abbrevation
SCR
City
Ustron
Country
Poland
Deadline Paper
Start Date
End Date
Abstract
Methods of analysis and requirement specification for the real–time systems. Software engineering methods. Formal methods in a real–time systems engineering. Security evaluation in real–time systems. CASE tools for real–time systems. Programming lang <b>Keywords:</b>