Communication and Compatibility in Systems of Systems: Correctness-by-Construction.

Maurice H. ter Beek Josep Carmona Jetty Kleijn

Published in: ERCIM News (2015)

Keyphrases

e learning
intelligent systems
computer systems
systems require
open systems
distributed computation