Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Interpocedural analysis"'
Autor:
Le Gall, Tristan, Jeannet, Bertrand
Publikováno v:
[Research Report] PI 1839, 2007, pp.36
Communication protocols can be formally described by the Communicating Finite-State Machines~(CFSM) model. This model is expressive, but not expressive enough to deal with complex protocols that involve structured messages encapsulating integers or l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::91c2fc8ac76ab0882554800557c8773f
https://hal.inria.fr/inria-00140831/document
https://hal.inria.fr/inria-00140831/document
