Items where Author is "Haidar, Ali Nasrat"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 2.

Book Section

Haidar, Ali Nasrat and Abdallah, Ali E. (2008) Composition of Web Services Using Wrappers. In: Leveraging Applications of Formal Methods, Verification and Validation. Springer, pp. 862-865. ISBN 0302-9743

Haidar, Ali Nasrat and Abdallah, Ali E. (2008) Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. In: Leveraging Applications of Formal Methods, Verification and Validation. Springer, pp. 831-846. ISBN 0302-9743

This list was generated on Fri Apr 25 07:24:51 2025 UTC.

Research

In this section...