Author: "Amel Mammar" / Journal: sac - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Amel Mammar"' showing total 3 results

Start Over Author "Amel Mammar" Journal sac

3 results on '"Amel Mammar"'

1. A proof-based approach to verifying reachability properties.

Author: Amel Mammar, Marc Frappier, and Fama Diagne
Published: 2011
Full Text: View/download PDF

2. A formal framework to generate XPDL specifications from UML activity diagrams.

Author: Nicolas Guelfi and Amel Mammar
Published: 2006
Full Text: View/download PDF

3. An overview of a proof-based approach to detecting C vulnerabilities.

Author: Amel Mammar
Published: 2011
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results