Author:
Ivanov Ievgen,Panchenko Taras,Nikitchenko Mykola,Sunmade Fabunmi
Publisher
Springer International Publishing
Reference15 articles.
1. Sifakis, J.: Modeling real-time systems – challenges and work directions. In: Proceedings First International Workshop on Embedded Software, LNCS 2211, pp. 373–389. Springer, Heidelberg (2001)
2. Burns, A., Wellings, A.: Real Time Systems and Programming Languages, 3rd edn. Addison Wesley Longman, Reading (2001). 611 p.
3. Kirsch, C.M.: Principles of real-time programming. In: proceedings Second International Workshop on Embedded Software, LNCS 2491, pp. 61–75. Springer, Heidelberg (2002)
4. Merz, S., Navet, N. (eds.): Modeling and Verification of Real-Time Systems: Formalisms and Software Tools. INRIA Lorraine, Nancy (2008). 400 p.
5. Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling time in computing: a taxonomy and a comparative survey. ACM Comput. Surv. 42, 1–59 (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献