Études sur la syntaxe et la sémantique des langues naturelles et des langages algorithmiques

von Castanet, Richard
Veröffentlicht 1974

Ingénierie des protocoles : actes du Colloque Francophone sur l'Ingénierie des Protocoles, Bordeaux, France, 20 - 22 septembre, 1988

Veröffentlicht 1988

Cadre formel pour le test de robustesse : application au protocole SSL

von Khorchef, Fares Saad
Veröffentlicht in CFIP (Veranstaltung : 12. : 2006 : Tozeur) CFIP'2006 (2006)