Contents of this book is: Real-Time Computing and Industrial Process Automation, Conceptual Foundations, Digital Control of Continous Processes, Process Interfacing, Communication Networks, Real-Time Operating Systems Principles, Comparison of Some Real-Time Operating Systems, Hight Level Real-Time Programming, Schedulability Analysis, System and Software Life Cycle, Software Quality Assurance, Computer Aided Software Engineering Tools, Formal S[pecifications and Verification Methods, Programmable Logic Controllers, Case Studies and Applications.//yn
