• EASN

  • Referenced in 2 articles [sw07597]
  • 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...
  • XMill

  • Referenced in 33 articles [sw12312]
  • XMill: an efficient compressor for XML data. We...