Formal methods for communication services: meeting the industry expectations


We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and… (More)
DOI: 10.1016/S1389-1286(01)00242-0


  • Presentations referencing similar topics