Concepedia

Nabil Belala

NB

Statistics

Publications

3

Citations

52

H-Index

3

Active since

2006

Affiliations

University Frères Mentouri Constantine 1(Current)

Nabil Belala is an author at University Frères Mentouri Constantine 1 specializing in temporal logic, real-time systems, and timing constraints.

ORCID

Publications per year

2006–2013

3

Publications

3

Actions Duration in Timed Models

Djamel Eddine Saïdouni, Nabil Belala · 2006 · 24 citations

, , +17

Aggregation of Transitions in Marking Graph Generation Based on Maximality Semantics for Petri Nets

Djamel Eddine Saïdouni, Nabil Belala, Messaouda Bouneb · Electronic workshops in computing · 2008 · 15 citations · Full text

, , +12

Time Petri Nets with Action Duration

Nabil Belala, D.E. Saїdouni, Radja Boukharrou et al. · International Journal of Embedded and Real-Time Communication Systems · 2013 · 13 citations · Full text

, , +15

1–3 of 3