Author:
GHAZEL Mohamed,MASMOUDI Malek,TOGUYENI Armand
Reference13 articles.
1. Alur, R., Courcoubetis, C., Halbwachs, N., Wong-Toi, H. (1992). “An implementation of three algorithms for timing verification based on automata emptiness”. 13th Real-time Systems Symposium, 157-166, Phoenix, USA.
2. “A Theory of Timed Automata”;Alur;Theoretical Computer Science,1994
3. “MoDeST: a modelling and description language for stochastic timed systems”;D'Argenio,2001
4. Deavours, D. D., Sanders, W. H. (2001). “Mobius: Framework and atomic models”, Proc. 9th International Workshop on Petri Nets and Performance Models (PNPM '01), 251-260. IEEE
5. “Validation of Communications Systems with SDL”;Doldi,2003