Project goals: to contribute towards a fundamental understanding of wireless sensor networks by developing formal tools based on process calculi; to provide adequate programming architectures for dynamically configurable sensor nodes; and to validate the proposed designs in real-life prototype sensor applications.
Funding Value: 82.315 € (for CRACS; total funding: 189.895 €)
Funded by
FCT