Conditions of contracts for separating responsibilities in heterogeneous systems.

Jonas Westman Mattias Nyberg

Published in: Formal Methods Syst. Des. (2018)

Keyphrases

heterogeneous systems
distributed architecture
application developers
web services
grid environment
information systems
data processing
computing systems
processing units
parallel architectures