Journal: Computer Networks

Volume 31, Issue 17

1783 -- 1784Ana R. Cavalli. Advanced Topics on SDL and MSC
1785 -- 1799Sjouke Mauw, Michel A. Reniers. Operational Semantics for MSC 96
1801 -- 1815Andreas Mitschele-Thiel, Bruno Müller-Clostermann. Performance engineering of SDL/MSC systems
1817 -- 1834Pierre Combes, Béatrice Renard. Service validation
1835 -- 1872Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir. Test development for communication protocols: towards automation