A Maude based Specification for SoS Architecture.

Akram Seghiri Faïza Belala Zakaria Benzadri Nabil Hameurlain

Published in: SoSE (2018)

Keyphrases

formal specification
real time
specification language
reactive systems
high level
management system
conceptual model
expert systems
network architecture
hardware implementation
formal methods
distributed architecture