Finding Contents or People

Promela model for process list
process list source code
Promela model for event queue
Event queue source code
Students Thesis
Publications
Eng
e
ah
Academic Appointments
Academic Honers
Industrial Research
Professional Activities
Scholarly Publications
Journal Papers: