Z Specification and Verification of Feature Interaction in Telecommunication Service System
For formally describing feature interaction problems in telecommunication system accurately and compactly,this paper applies Z language into the research on these feature interaction problems.It does the formal description for three main types of feature interaction,which contains integrality violat...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
Editorial Office of Computer Engineering
2016-08-01
|
| Edice: | Jisuanji gongcheng |
| Témata: | |
| On-line přístup: | https://www.ecice06.com/fileup/1000-3428/PDF/201608004.pdf |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|