Tightening the contract refinements of a system architecture.

Alessandro Cimatti Ramiro Demasi Stefano Tonetta

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

Keyphrases

real time
artificial neural networks
software architecture
neural network
design considerations
metadata
similarity measure
supply chain
design methodology