TinyOS

MaRDI QIDQ14569swMATHFDO

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

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

Described by source

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

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