Design and Verification of On−Chip Communication Protocols by Böhm, P, Melham, T

Design and Verification of On−Chip Communication Protocols by Böhm, P, Melham, T

“…Modern computer systems rely more and more on on-chip communication protocols to exchange data. To tackle performance requirements these protocols have become highly complex, which makes their formal verification usually infeasible with reasonable time and effort. …”

Security of ADS−B: State of the Art and Beyond by Strohmeier, M, Lenders, V, Martinovic, I

“…Automatic dependent surveillance-broadcast (ADS-B) is the communications protocol currently being rolled out as part of next generation air transportation systems. …”