Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings
edited by Marcin Jurdzinski and Dejan Nickovic
Springer-Verlag, 2012
eBooks
Proceedings of the third meeting of the AUNILO working committee : 18-20 September 2006 Bandar Seri Begawan, Brunei Darussalam : theme technologies in libraries
University Brunei Darussalam Library, 2006
Buku Referensi
Advances in real-time systems
Samarjit Chakraborty, Jorg Eberspacher, editors
[Springer, ], 2012
eBooks
Rothstein, Michael F.
Guide to the design of real-time systems
Wiley-Interscience, 1970
Buku Teks
Martin, James
Programming real-time computer systems
Prentice-Hall, 1965
Buku Teks