A Formal Approach for Translating a SAM Architecture to PROMELA.

Gonzalo Argote-Garcia Peter J. Clarke Xudong He Yujian Fu Leyuan Shi

Published in: SEKE (2008)

Keyphrases

formal model
management system
software architecture
reference model
machine learning
mobile devices
databases
image processing
data management
formal analysis
layered architecture