Case study for sequence diagram transformation in Event-B

Autor:	Mouakher, Inès
Přispěvatelé:	mouakher, Inès, University of Tunis El Manar
Jazyk:	angličtina
Rok vydání:	2021
Předmět:	[INFO]Computer Science [cs] [INFO] Computer Science [cs]
Zdroj:	[Research Report] University of Tunis El Manar. 2021
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5eb16d70df4ddba5f3b8b7401ca1f6a4 https://hal.archives-ouvertes.fr/hal-03435797 Zobrazit plný text záznamu