Author:
Guesmi Hela,Ben Hedia Belgacem,Bliudze Simon,Bensalem Saddek,Le Nabec Briag
Publisher
Springer International Publishing
Reference16 articles.
1. Abdellatif, T.: Rigourous Implementation of real-time Systems. Ph.D. thesis, UJF (2012)
2. Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications, pp. 229–238, May 2010
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
4. Aussagues, C., Chabrol, D., David, V., Roux, D., Willey, N., Tournadre, A., Graniou, M.: Pharos, a multicore os ready for safety-related automotive systems: results and future prospects. In: Proceedings of the Embedded Real-Time Software and Systems (ERTS2) (2010)
5. Bagrodia, R.: Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans. Softw. Eng. 15(9), 1053–1065 (1989)