Titlebook: SDL 2005: Model Driven; 12th International S Andreas Prinz,Rick Reed,Jeanne Reed Conference proceedings 2005 Springer-Verlag Berlin Heidelb

choleretic

SDL Design of OSPF Protocol for the Wireless Private Networkn language (SDL). Simulations are run in many scenarios to show that our design is excellent in the aspects of both function and performance. In addition, SDL is proven to be an efficient tool in the development of communication software.

Nmda-Receptor

镇痛剂

aptitude

现晕光

invert

DUST

受辱

完成才会征服

Modeling, Verifying and Testing Mobility Protocol from SDL LanguageThis paper deals with mobility protocols specification, validation and testing using a formal approach. A well suited SDL model is proposed to handle the component-based nature of Mobile systems. Two solutions are proposed to derive automatically TTCN-3 test cases from the SDL model.

反复无常