scientific article; zbMATH DE number 2050824

zbMATH Open1040.68006MaRDI QIDQ4453049FDOQ4453049

Authors: Tianjun Shi, Xudong He 

Publication date: 7 March 2004

Title of this publication is not available (Why is that?)

Recommendations

• A Framework for Developing and Analyzing Software Architecture Specifications in SAM
• scientific article; zbMATH DE number 3892605
• Modeling and analysis of communicating systems
• The formalization and analysis of a communications protocol
• Specification and analysis of a composition of protocols
• scientific article; zbMATH DE number 2080915

zbMATH Keywords

verificationmodel checkingtemporal logicformal specificationpredicate transition nets

Mathematics Subject Classification ID

Network protocols (68M12)

Cited In (4)

• Title not available (Why is that?)
• Formal Modeling of Communication Protocols by Graph Transformation
• PSAMS: a communication protocol specification assessment and measurement system
• A Framework for Developing and Analyzing Software Architecture Specifications in SAM

This page was built for publication:

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