Michael McCall

According to our database, Michael McCall authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formal Verification of a Mixed-Trust Synchronization Protocol.

Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021