Search Results - Boukala, Malika

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Construction of consistent SysML models applied to the CPS

    Construction of consistent SysML models applied to the CPS by Khelifati, Adel, Boukala-Ioualalen, Malika, Hammad, Ahmed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams

    Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams by Rahim, Messaoud, Kheldoun, Ahmed, Boukala-Ioualalen, Malika, Hammad, Ahmed

    Published in IET software
    Request full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Modular modeling and analyzing of multimedia documents with repetitive objects

    Modular modeling and analyzing of multimedia documents with repetitive objects by Dahmani, Djaouida, Mazouz, Samia, Boukala, Malika

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: