TinyOS
From MaRDI portal
Software:14569
No author found.
Source code repository: https://github.com/tinyos/tinyos-main
Related Items (4)
Tracking CSP computations ⋮ Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Static analysis of embedded real-time concurrent software with dynamic priorities ⋮ Advances in Quantitative Verification for Ubiquitous Computing
This page was built for software: TinyOS