Josip Bozic, Lina Marsso
, Radu Mateescu et Franz Wotawa
Communication écrite (2018)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| Organismes subventionnaires: | Österreichische Forschungsförderungsgesellschaft, Région Auvergne-Rhône-Alpes |
|---|---|
| Numéro de subvention: | 851205, ARC 6 |
| URL de PolyPublie: | https://publications.polymtl.ca/74384/ |
| Nom de la conférence: | Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018) |
| Lieu de la conférence: | Thessaloniki, Greece |
| Date(s) de la conférence: | 2018-04-20 |
| Titre de la revue: | Electronic Proceedings in Theoretical Computer Science (vol. 268) |
| Maison d'édition: | Open Publishing Association |
| DOI: | 10.4204/eptcs.268.1 |
| URL officielle: | https://doi.org/10.4204/eptcs.268.1 |
| Date du dépôt: | 05 mai 2026 14:29 |
| Dernière modification: | 05 mai 2026 14:29 |
| Citer en APA 7: | Bozic, J., Marsso, L., Mateescu, R., & Wotawa, F. (avril 2018). A Formal TLS Handshake Model in LNT [Communication écrite]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece (40 pages). Publié dans Electronic Proceedings in Theoretical Computer Science, 268. https://doi.org/10.4204/eptcs.268.1 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
