معرفی و ارزیابی کتاب

I F a C/I F I P Workshop on Real Time Programming//Real Time Programming

J. Szlanko

Pt. I. Real time systems - background. 1. Real time system characteristics. 1.1. Real-time and reactive programs. 2. Formal program development methodologies. 2.1. Requirement specification. 2.2. System specifications. 3. Characteristics of real-time languages. 3.1. Modelling fea