most citedDescription of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.NI2020★ 2 cited

Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties

Daniel Bujosa, Inés Álvarez, Julián Proenza

The IEEE Audio Video Bridging (AVB) Task Group (TG) was created to provide Ethernet with soft real-time guarantees. Later on, the TG was renamed to Time-Sensitive Networking (TSN)…