Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Malika Boukala
Observed name:
Boukala, Malika
Institution:
University of Sciences and Technology Houari Boumediene
Observed institution:
University of Sciences and Technology Houari Boumediene
OpenAlex ID:
A5110502477
Time Recursive Petri Nets
2008
·
Djaouida Dahmani
, Jean-Michel Ilié
, et al.
·
Lecture notes in computer science
·
4
Modular modeling and analyzing of multimedia documents with repetitive objects
2013
·
Djaouida Dahmani
, Samia Mazouz
, et al.
·
2
Accompanying Component Based Systems Dynamic Reconfiguration with Formal Modelling and Analysis
2014
·
Hamza Zerguine
, Nabila Salmi
, et al.
·
International Conference on Future Internet of Things and Cloud (FiCloud)
·
1
Slicing Based Verification Approach for the Validation of SysML Activity Diagrams
2017
·
Rahim, Messaoud
, Boukala, Malika
, et al.
·
HAL
Efficient and modular modeling of hierarchical multimedia objects by using time ERPN+
2014
·
Djaouida Dahmani
, Samia Mazouz
, et al.
Modular Modeling of SMIL Documents with Complex Termination Events.
2014
·
Djaouida Dahmani
, Samia Mazouz
, et al.
Time Recursive Petri Net
2007
·
Dahmani, Djaouida
, Ilié, Jean-Michel
, et al.
·
HAL
Show more works
View as search
Works count:
7
Citation count:
7
H-index:
2
I10-index:
Year
Topic
Type
