Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Mourad Derardja"'
Publikováno v:
ANT/SEIT
This paper describes a way based on operational semantics of π-calculus and uses TGG tool to formalize sequence diagrams to establish formal verification through model transformations. Our transformation uses basic interactions and combined fragment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c6abe02456275b7410815b676c4d4e4
