A Specification-Based Approach to Concurrency Analysis.

Ugo A. Buy Robert Moll

Published in: Autom. Softw. Eng. (1995)

Keyphrases

statistical analysis
data analysis
data sets
neural network
data mining
machine learning
information retrieval
decision making
decision trees
natural language
expert systems
software engineering
petri net
data flow