|
[SCA+17]
Gautham Nayak Seetanadi, Javier Cámara, Luis Almeida, Karl-Erik Årzén and Martina Maggio.
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks.
In Proc. 2017 IEEE Real-Time Systems Symposium (RTSS'17), pages 243-254.
2017.
[Uses PRISM to verify a bandwidth allocation scheme for camera networks.]
|
|
Links:
[Google]
[Google Scholar]
|