Finding Contents or People

Main Streams of Research Projects
A Promela Model for Contiki's scheduler
Contiki's data structures
Promela model for process list
process list source code
Promela model for event queue
Event queue source code
Students Thesis
Eng
e
ah
2
Academic Appointments
Academic Honers
Industrial Research