■

白川洋充/竹垣盛一「リアルタイムシステムとその応用」(朝倉書店,2001)
http://www.info.kindai.ac.jp/Real-Time-Systems/
上は本の訂正など