Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules.

Christian Rinderknecht

Published in: SAM (2004)

Keyphrases

artificial neural networks
design process
production rules
design decisions
artificial intelligence
user interface
knowledge acquisition