A finite state analysis of time-triggered CAN (TTCAN) protocol using spin

I Saha, S Roy - … on Computing: Theory and Applications (ICCTA' …, 2007 - ieeexplore.ieee.org
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …
被引用次数：25 相关文章

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin

I Saha, S Roy - 2007 International Conference on Computing: Theory … - infona.pl
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin

I Saha, S Roy - International Conference on Computing: Theory and …, 2007 - computer.org
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …
[PDF] psu.edu

[PDF][PDF] A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin

I Saha, S Roy - Citeseer
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …
[PDF] researchgate.net

[PDF][PDF] A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin

I Saha, S Roy - researchgate.net
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin

I Saha, S Roy - Proceedings of the International Conference on …, 2007 - dl.acm.org
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …
[PDF] academia.edu

[PDF][PDF] A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin

I Saha, S Roy - academia.edu
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …
[PDF] academia.edu

[PDF][PDF] A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin

I Saha, S Roy - academia.edu
The paper presents a case study of the use of model checking for the analysis of an
industrial protocol, a time triggered version of the CAN protocol (TTCAN). Our analysis of this …