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

Author(s):
Beek, M.H. ter; Carmona, J.; Kleijn, H.C.M. (0000-0001-9506-4071)
Published
2015
Publication type
Contribution for newspaper or weekly magazine
Date issued
2015-07-01
Language
English
Is part of
ERCIM News (2015), Vol. 102, no. July, p. 21-22
hdl
1887/74026
URL
https://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction