Abbrevation
SCR
City
Ustron
Country
Poland
Deadline Paper
Start Date
End Date
Abstract

Methods of analysis and requirement specification for the real&#8211;time systems&#046; Software engineering methods&#046; Formal methods in a real&#8211;time systems engineering&#046; Security evaluation in real&#8211;time systems&#046; CASE tools for real&#8211;time systems&#046; Programming lang <b>Keywords:</b>