Modeling the SpaceWire Architecture with Lyra

Jukka Honkola, Sari Leppänen, Teemu Tynjälä. Modeling the SpaceWire Architecture with Lyra. In Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France. pages 15-24, IEEE Computer Society, 2005. [doi]

Abstract

Abstract is missing.