- Record: found
- Abstract: not found
- Book Chapter: not found
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
The Guided System Development Framework: Modeling and Verifying Communication Systems
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references12
- Record: found
- Abstract: not found
- Article: not found
A logic of authentication
Michael P Burrows, Martín Abadi, Roger Needham (1990)
- Record: found
- Abstract: not found
- Book Chapter: not found
Structured Communication-Centred Programming for Web Services
Marco Carbone, Kohei Honda, Nobuko Yoshida (2007)
- Record: found
- Abstract: not found
- Article: not found
A Computationally Sound Mechanized Prover for Security Protocols
B Blanchet (2008)