Vérification symbolique pour les protocoles de communication / Symbolic verification for communication protocols
👁 2 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Vérification symbolique pour les protocoles de communication / Symbolic verification for communication protocols. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Vérification symbolique pour les protocoles de communication / Symbolic verification for communication protocols. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
L'utilisation des méthodes formelles pour la conception de protocoles de télécommunication est désormais reconnue comme la seule approche en mesure de garantir leur bon fonctionnement avant la mise en service. Cependant, la complexité toujours croissante ainsi que les contraintes de fiabilité et de sûreté de plus en plus sévères nécessitent l'extension des formalismes de description et l'amélioration continue des méthodes et des techniques de validation. Cette thèse définit une représentation in - HAL URI: https://theses.hal.science/tel-00004812v1