Specifying and Verifying the Parlay Call−Control Using ASMs

Specifying and Verifying the Parlay Call−Control Using ASMs

Bibliographic Details
Main Authors:	Falcarin, P, Cavarra, A
Format:	Conference item
Published:	Springer 2003

Similar Items

Programming converged networks : call control in Java, XML, and Parlay/OSA /
by: 171816 Jain, Ravi, et al.
Published: (2005)

A Formal Semantics of UML: The ASM Approach
by: Cavarra, A
Published: (2000)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
by: Cavarra, A, et al.
Published: (2004)

On Formalizing UML State Machines using ASM
by: Börger, E, et al.
Published: (2004)

A data−flow approach to test multi−agent ASMs
by: Cavarra, A
Published: (2011)

A data-flow approach to test multi-agent ASMs.
by: Cavarra, A
Published: (2011)

An ASM Semantics for UML Activity Diagrams
by: Börger, E, et al.
Published: (2000)

The use of B to specify‚ design and verify hardware
by: Ifill, W, et al.
Published: (2001)

Parlay/OSA : from standards to reality /
by: 244410 Unmehopa, Musa, et al.
Published: (2006)

Specifying and Verifying Systems with Multiple Clocks
by: Clarke, E, et al.
Published: (2003)

Specifying and verifying systems with multiple clocks
by: Clarke, E, et al.
Published: (2003)

Using B to Specify‚ Verify and Design Hardware Circuits
by: Sørensen, I
Published: (1998)

An ASM Semantics for UML Activity Diagrams and UML State Machines
by: Boerger, E, et al.
Published: (2000)

Parlay X Web Services for Policy and Charging Control in Multimedia Networks
by: Ivaylo Atanasov, et al.
Published: (2012-01-01)

Parlay and OGSA based framework for service creation in NGN
by: LIU Zhen1, et al.
Published: (2007-01-01)

Parlay and OGSA based framework for service creation in NGN
by: LIU Zhen1, et al.
Published: (2007-01-01)

Verifiable Summation of Read-Once Formula Specified Data
by: Yan He, et al.
Published: (2020-01-01)

Applying semantics to Parlay-based services for telecommunication and Internet networks
by: Qiao Xiuquan, et al.
Published: (2011-12-01)

A framework for specifying and formally verifying application security policies
by: Shao, Christopher,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

基于非功能特性的Parlay SCF发现机制
by: 彭晋, et al.
Published: (2006-01-01)

Parlay Gateway体系结构的多视点研究
by: 王晓庆, et al.
Published: (2005-01-01)

基于非功能特性的Parlay SCF发现机制
by: 彭晋, et al.
Published: (2006-01-01)

Parlay Gateway体系结构的多视点研究
by: 王晓庆, et al.
Published: (2005-01-01)

Activated sludge models : ASM1, ASM2, ASM2d and ASM3 /
by: Henze, Mogens, et al.
Published: (2000)

基于运营收入最大化的Parlay网关过载控制
by: 张云勇, et al.
Published: (2005-01-01)

一种改进Parlay API增强呼叫等待保持能力的方法
by: 饶少阳, et al.
Published: (2004-01-01)

一种改进Parlay API增强呼叫等待保持能力的方法
by: 饶少阳, et al.
Published: (2004-01-01)

基于运营收入最大化的Parlay网关过载控制
by: 张云勇, et al.
Published: (2005-01-01)

Toward a low-cost housing process : parlaying the best of on-site and off-site building
by: Harris, Michael Saul
Published: (2012)

Research and Implementation of Synthesis Modulefor Parlay X in Monitoring System Platform of Value-Added Service
by: Peng Luo, et al.
Published: (2014-01-01)

Research and Implementation of Synthesis Modulefor Parlay X in Monitoring System Platform of Value-Added Service
by: Peng Luo, et al.
Published: (2014-01-01)

ASM handbook.
by: Dossett, Jon L., editor, et al.
Published: (2013)

ASM handbook
by: Tucker, Robert C editor, et al.
Published: (2013)

ASM handbook /
by: ASM Handbook Committee, et al.
Published: (1986)

ASM Affairs
Published: (2022-01-01)

ASM Affairs
Published: (2021-01-01)

ASM Awards
Published: (2020-01-01)

基于运营收入最大化的Parlay网关过载控制附视频
by: 张云勇, et al.
Published: (2005-01-01)

基于运营收入最大化的Parlay网关过载控制附视频
by: 张云勇, et al.
Published: (2005-01-01)

Journal of heat transfer: transactions of the ASME transactions of the ASME, Series C
by: American Society of Mechanical Engineers. Transactions of the ASME, Series C
Published: (1879)