Model checking message delivery times in SpaceWire networks.

Andrii Kovalov, Girish Patil, Vishav Bansal, Andreas Gerndt

Browse the full MODELS paper archive.