Discover projects, groups and snippets. Share your projects with others
The final project for the CPS module
This git contains the implementation and documentation of the protocol for battleship.
Protocol developed by:
M.A Bruderer, N. Desai, K.W Hendriks, T. Kwinkelenberg, L.G Hinojosa Mora, S. Schuurman, G.P Chikowe, L. Streapco
Track 4 (WSAN) of CPS 2020/2021
A Snap! extension for runtime assertion checking and static verification.