TinyOS

swMATH2023MaRDI QIDQ14569

No author found.

Source code repository: https://github.com/tinyos/tinyos-main

Described by source

• Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS
• Design and implementation of TinyOS integrated developing environment

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