Stack service model

MaRDI QIDQ4817058zbMATH OpenFDO

Authors D. Samborski

Publication date 14 September 2004

zbMATH Keywords

specification language

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal modeling of service session management
• A service model for a local telecommunication network: its design
• Service-oriented systems engineering: modeling services and layered architectures
• Formal modelling of services for getting a better understanding of the feature interaction problem: A multi-view approach
• scientific article; zbMATH DE number 1390340

Cited in

(1)

• A DISTRIBUTION FOR SERVICE MODEL

This page was built for publication: Stack service model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4817058)