Studying
Working on the 4th assignment of Formal Methods: an analysis of the bounded retransmission protocol. This is a protocol designed by Philips, used in remote controls for TV's.
»
- Log in to post comments
You are here
