ResIP White Paper the Mobile Packet Backbone Network a Compelling Multiservice IP Backbone Usecase
2004-10-091 Industrial usage of Formal Methods – an Ericsson view Jens E. Kristensen [email protected].