Real-time systems education

Author(s)

• Zalewski, Janusz
• Embry-Riddle Aeronautical University

Bibliographic Information

Real-time systems education

edited by Janusz Zalewski ; sponsored by Embry-Riddle Aeronautical University ; in cooperation with IEEE Computer Society Technical Committee on Real-Time Systems (TCRTS) and IEEE Computer Society Technical Committee on Complexity in Computing (TCCC)

IEEE Computer Society Press, c1996

• : microfiche

Note

"IEEE Computer Society Press order number PR07649"--T.p. verso

"IEEE Order Plan catalog number 96TB1000060"--T.p. verso

Includes bibliographical references and index

Description and Table of Contents

Description

Contains 20 contributions addressing education in real-time systems, divided into five sections: individual courses and tools; real-time curriculum issues; real-time systems education at Embry-Riddle Aeronautical University; teaching formal methods for real-time systems; and real-time systems in sys

by "Nielsen BookData"

Details

• NCID: BA3691808X
• ISBN:
  • 0818676493
  • 0818676515
• LCCN: 96077020
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: xiv, 159 p.
• Size: 28 cm
• Classification:
  • LCC : QA76.54
  • DC21 : 004/.33
• Subject Headings:
  • LCSH : Real-time data processing