Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking

Konstantinos Barlas George Koletsos Petros S. Stefaneas

Published in: CoRR (2011)

Keyphrases

formal specification
database
real time
machine learning
artificial intelligence
computer vision
data structure
desirable properties
operational semantics
delay insensitive