Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule.

Daniel Bujosa, Sergi Arguimbau, Patricia Arguimbau, Julin Proenza, Manuel Barranco

Browse the full ETFA paper archive.