Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. Abdellatif T (2012) Rigourous implementation of real-time systems. Ph.D. thesis, UJF
2. Abdellatif T, Combaz J, Sifakis J (2010) Model-based implementation of real-time applications, pp 229–238
3. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
4. Aussagues C, Chabrol D, David V, Roux D, Willey N, Tournadre A, Graniou M (2010) 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)
5. Bagrodia R (1989) Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans Softw Eng 15(9):1053–1065