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
Publications
My nano products
Eng
e
ah
2
Academic Appointments