Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) ◽

10.1109/sefm.2007.27 ◽

2007 ◽

Cited By ~ 4

Author(s):

Indranil Saha ◽

Suman Roy ◽

Kuntal Chakraborty

Download Full-text