Building Extensible Specifications and Implementations of Promela with AbleP.

Yogesh Mali Eric Van Wyk

Published in: SPIN (2011)

Keyphrases

data types
database
neural network
image processing
formal specification
data sets
real world
machine learning
web services
natural language
data model
functional requirements
delay insensitive