- Referenced in 2 articles
- English description of the protocol and an ASN.1 specification of the data-model. ASN.1 (Abstract ... considerable interest for model checking as ASN.1 can be used to constrain/construct the state space ... SPIN-based tool called EASN (Enhanced ASN.1) where the behavior can be formally specified through ... control structures but with data models from ASN.1. We use the X/Open standard on ASN.1/C...
- Referenced in 33 articles
- XMill: an efficient compressor for XML data. We...