Time Oriented Protocol Testing Simulator

As networking grows, requirements for communication services become more complex, such as ‘time-critical-communication real time system.’ Existing FDTs for communication services and protocols aren’t sufficient for specifying of real time applications. In this paper, we propose T-PROMELA which can s... View More