( en | de | ru )

 

Disambiguation of "Khoumsi, Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
Test Cases Generation for Nondeterministic Real-Time Systems.

, , and . FATES, volume 2931 of Lecture Notes in Computer Science, page 131-146. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ahmed Fattah Ahmed Ahmed

Hassan cheikh Ahmed

Ejaz Ahmed

Yasar Luqman Ahmed

Sayed Tawfik Ahmed

 

Other publications of authors with the same name

Detection and Resolution of Interactions between Services of Telephone Networks.. FIW, page 78-92. IOS Press, (1997)Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions., and . ICINCO (2), page 280-287. SciTePress, (2014)Decentralized Supervisory Control of Discrete Event Systems: Using Multi-Decision Control as an Alternative to Inference-Based Control., and . ICINCO (1), page 213-220. SciTePress, (2016)An Approach to Resolve NP-Hard Problems of Firewalls., , , and . NETYS, volume 9944 of Lecture Notes in Computer Science, page 229-243. Springer, (2016)Test Cases Generation for Nondeterministic Real-Time Systems., , and . FATES, volume 2931 of Lecture Notes in Computer Science, page 131-146. Springer, (2003)A simple formal method to synthesize an orchestrator in web service composition.. ACC, page 107-112. IEEE, (2013)Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis., , , and . NETYS, volume 11704 of Lecture Notes in Computer Science, page 250-266. Springer, (2019)A new method for testing real time systems.. RTCSA, page 441-. IEEE Computer Society, (2000)An unifying decision-making framework in discrete-event systems: Application to centralized and decentralized control, diagnosis and prognosis.. WODES, page 135-142. International Federation of Automatic Control, (2010)Presence Interaction Management in SIP SOHO Architecture., and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 93-98. Springer, (2006)