TinyOS

swMATH2023MaRDI QIDQ14569FDOQ14569

Author name not available (Why is that?)

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

Cited In (4)

• Symmetry and partial order reduction techniques in model checking Rebeca
• Tracking CSP computations
• 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