Search Results - Benabbou, Amel

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Context-aware approach for formal verification

    Context-aware approach for formal verification by Benabbou, Amel, Nait Bahloul, Safia, Philippe, Dhaussy

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    An Automated Transformation Approach for Requirement Specification

    An Automated Transformation Approach for Requirement Specification by Benabbou, Amel, Bahloul, Safia Nait, Dhaussy, Philippe

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS

    Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS by Benabbou, Amel, Bahloul, Safia Nait

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    An Algorithmic Structuration of a Type System for an Orthogonal Object/Relational Model

    An Algorithmic Structuration of a Type System for an Orthogonal Object/Relational Model by Benabbou, Amel, Safia Nait Bahloul, Youssef Amghar

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: