Finding Contents or People

Promela model for process_poll()
process_poll() source code
Scheduler state machine
Contiki's data structures
Promela model for process list
process list source code
Research Supervision
ORCID
Google scholar
Scopus
Citation
Graduate students
Work Experience
Academic Experience
Teaching Experience