TinyOS

swMATH2023MaRDI QIDQ14569FDOQ14569

Author name not available (Why is that?)

Official website: https://github.com/tinyos/tinyos-main

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 (14)

• Symmetry and partial order reduction techniques in model checking Rebeca
• Tracking CSP computations
• Static analysis of embedded real-time concurrent software with dynamic priorities
• JAVAVIS
• Spin-to-Grape
• Gammatella
• nAIT
• SEAT
• Jove
• Goblint
• Magiclock
• AUTOSAR
• PVaniM
• Advances in Quantitative Verification for Ubiquitous Computing

This page was built for software: TinyOS