Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Matiedje Tawa, Jeanne Odette Hortense"'
Publikováno v:
Réseaux et télécommunications [cs.NI]. Institut Supérieur de l’Aéronautique et de l’Espace (ISAE), 2019. Français
This study deals with the use of first-order logic and linear temporal logic for specification and verification of dynamics system with rich structural properties. It also concerns the study of the operating safety of the distributed lookup protocol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::414d29d2ae97b5c9846dc55b20e08d72
https://hal.archives-ouvertes.fr/tel-02427484
https://hal.archives-ouvertes.fr/tel-02427484
