Arrays and Contracts for the Specification and Analysis of Regular Systems.

Florence Maraninchi Lionel Morel

Published in: ACSD (2004)

Keyphrases

decision making
data analysis
distributed systems
intelligent systems
machine learning
artificial intelligence
social networks
high level
image analysis
supply chain
computer systems
statistical analysis
complex systems