Validation and analysis of the futurebus arbitration protocol: A case study

F Boussinot, S Ramesh, RK Shyamasundar… - Sadhana, 1996 - Springer
In this paper, we use perfectly synchronous languages such as Esterel, for modelling
Futurebus arbitration protocol. We show that the perfect synchrony aids in the formalization …
被引用次数：1 相关文章

Validation and analysis of the future bus arbitration protocol: a case study

F Boussinot, S Ramesh… - Sadhana (Academy …, 1996 - repository.ias.ac.in
In this paper, we use perfectly synchronous languages such as Esterel, for modelling
Futurebus arbitration protocol. We show that the perfect synchrony aids in the formalization …
[PDF] academia.edu

[PDF][PDF] Validation and analysis of the futurebus arbitration protocol: A case study

R DE SIMONE - academia.edu
In this paper, we use perfectly synchronous languages such as ESTEREL, for modelling
Futurebus arbitration protocol. We show that the perfect synchrony aids in the formalization …

Validation and analysis of the futurebus arbitration protocol: A case study

F Boussinot, S Ramesh, RK Shyamasundar… - Sadhana, 2023 - ias.ac.in
In this paper, we use perfectly synchronous languages such as Esterel, for modelling
Futurebus arbitration protocol. We show that the perfect synchrony aids in the formalization …
[PDF] ias.ac.in

[PDF][PDF] Validation and analysis of the futurebus arbitration protocol: A case study

R DE SIMONE - ias.ac.in
In this paper, we use perfectly synchronous languages such as ESTEREL, for modelling
Futurebus arbitration protocol. We show that the perfect synchrony aids in the formalization …

[引用][C] Validation and analysis of the futurebus arbitration protocol: A case study

F Boussinot, S Ramesh, RK Shyamasundar… - Sadhana, 1996 - Springer