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

Autor:	Beek, M.H. ter, Carmona, J., Kleijn, H.C.M.
Jazyk:	angličtina
Rok vydání:	2015
Zdroj:	ERCIM News, 102(July), 21-22
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::daf709d32c47fcc7b02574e1fd287d41 https://hdl.handle.net/1887/74026 Zobrazit plný text záznamu