SAL-Based Symbolic Scheduling in Time-Triggered Networks.

Sebastian Voss, Maria Sorea, Klaus Echtle

Browse the full IFM paper archive.