BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
ber (1)
integr (1)
direct (1)
verifi (1)
light (1)

Stem asn$ (all stems)

4 papers:

SEFMSEFM-2007-GrandyBSR #encoding #named #protocol #security
ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
CAVCAV-2001-ShanbhagGTAL #model checking #named
EASN: Integrating ASN.1 and Model Checking (VKS, KG, MT, AA, ML), pp. 382–386.
ICTSSIWTCS-1999-Willcock #syntax #towards
New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
TOOLSTOOLS-USA-1993-KoivistoR #c++ #named
Cerial: A Tool for XDR or ASN.1 BER Serialization of C++ Objects (JK, JR), pp. 109–122.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.