中图分类法:	TP31-532 版次：
题名:	Formal methods for the design of real-time systems : [ International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /] / ,
其它题名:	SFM-RT 2004
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2004.
载体形态:	vi, 293 p. : ill. ; 24 cm.
附注:	"... the lecture s of the fourth edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems ..."--preface.
主题词:	Real-time control
主题词:	Real-time programming
主题词:	Real-time data processing
主题词:	Computer systems
主题词:	Telecommunication systems
主题词:	Computer software
主要责任者:	Bernardo, Marco.
主要责任者:	Corradini, Flavio.