Collaborated with:
V.Augusto X.Xie
Talks about:
territori (1) healthcar (1) approach (1) system (1) inform (1) verif (1) petri (1) time (1) net (1)
Person: Sabri Hamana
DBLP: Hamana:Sabri
Contributed to:
Wrote 1 papers:
- CASE-2016-HamanaAX #approach #information management #petri net #verification
- A timed Petri net approach for verification of Territorial Healthcare Information Systems (SH, VA, XX), pp. 658–663.