Specification Patterns for Robotic Missions.

Claudio Menghi Christos Tsigkanos Patrizio Pelliccione Carlo Ghezzi Thorsten Berger

Published in: CoRR (2019)

Keyphrases

space exploration
real time
database
databases
neural network
decision trees
data structure
data mining
search engine
social networks
pattern mining
pattern discovery
formal specification
specification language