The following pages link to TinyOS (Q14569):
Displaying 4 items.
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Tracking CSP computations (Q1633350) (← links)
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- Advances in Quantitative Verification for Ubiquitous Computing (Q2851899) (← links)
