LTSA-WS
From MaRDI portal
Software:22544
No author found.
Related Items (12)
Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee ⋮ A generic framework for \(n\)-protocol compatibility checking ⋮ FSP and FLTL framework for specification and verification of middle-agents ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Contracts for security adaptation ⋮ Transactional Reduction of Component Compositions ⋮ Web Cube ⋮ Unnamed Item ⋮ Towards verification of computation orchestration ⋮ TOrPEDO : witnessing model correctness with topological proofs ⋮ The Evolution of Jolie
This page was built for software: LTSA-WS
