scientific article; zbMATH DE number 1798188

MaRDI QIDQ4553261zbMATH OpenFDO

Authors

Publication date 4 November 2002

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 1744969
• Verifying a UMTS protocol using Spin and EASN
• An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints
• scientific article; zbMATH DE number 1538047
• scientific article; zbMATH DE number 1670520

Cited in

(5)

• An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints
• scientific article; zbMATH DE number 1744969 (Why is no real title available?)
• EASN
• scientific article; zbMATH DE number 1728517 (Why is no real title available?)
• Design and implementation of ASN.1 module in DSRC

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 Q4553261)