1 Result(s)

Chapter and Conference Paper

Specification of Timed EFSM Fault Models in SDL

In this paper, we apply our timing fault modeling strategy to writing formal specifications for communication protocols. Using the formal language of Specification and Description Language (SDL), we specify the C...

S. S. Batth, E. R. Vieira, A. Cavalli… in Formal Techniques for Networked and Distri… (2007)