Formal Architecture Specification for Time Analysis.

Hajer Herbegue Mamoun Filali Hugues Cassé

Published in: ARCS (2014)

Keyphrases

statistical analysis
quantitative analysis
machine learning
data analysis
management system
formal specification
databases
neural network
real world
data mining
information systems
multi agent
formal analysis
formal language