Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons Academic Article

authors

publication date

March 28, 2011

published in

Techniques et sciences informatiques Journal

Digital Object Identifier (DOI)

https://doi.org/10.3166/tsi.30.309-337

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W1990516450 Global Citation Count

start page

309

end page

337

volume

30

issue

3