Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Т.Н. Мьё
Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP
Engineering Journal: Science and Innovation
Related publications
Formal Aspects of Procedures: The Problem of Sequential Correctness
Logical Analysis of Complex Network Searching
Open Cybernetics and Systemics Journal
Control
Systems Engineering
Mathematics
A Formal Analysis of the Norwegian E-Voting Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Validation of Formal Specifications
A Logical Framework for Evolution of Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Analysis of a Non-Repudiation Protocol
On the Correctness of an Intrusion-Tolerant Group Communication Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Data for Reachability of Inter-/Intra-NetworK SIP (DRINKS) Use Cases and Protocol Requirements
