Publications
Export 3 results:
[ Author
] Title Type Year Filters: First Letter Of Last Name is S and Author is Aziz Salah [Clear All Filters]
"Implicit integration of scenarios into a reduced timed automaton",
Journal of Information and Software Technology, vol. 45, no. 11, pp. 715-725, 2003.
pdf
"Intégration de scénarios temps-réel en automates temporisés",
Actes du Colloque Francophone pour l'ingénierie des protocoles (CFIP-2002), Montréal, pp. 179-193, may, 2002.
"Compiling Real-Time Scenarios into a Timed Automaton",
FORTE 2001 - 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, pp. 135-150, aug, 2001.
