Tahir Lawan Saleh

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Embedded Real Time Systems

Sequence Diagrams

Top Venues

Publications

Murat Uzam, Gökhan Gelen, Tahir Lawan Saleh
Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs. Inf. Sci. 363 (2016)