AppendixC: Event-B Model of the Message Passing Case-study (Manual)

Autor:	Sarshogh, Mohammad Reza
Jazyk:	angličtina
Rok vydání:	2012
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______348::dbf89f11ea50a21a5ff72b988eba2f57 https://eprints.soton.ac.uk/342272/ Zobrazit plný text záznamu