[title]
[author]
[shortEnglishNames]
[pubIssue]
DOI:
[Doi]
(PDF [paperSize]K)
[HTML] [XML]
Back
Home
Submission
Articles
Journals
Book
Services
Blog
Back
Search
Menu
Sign in
Journals by Subject
Journals by Title
Search
A Comparative Analysis of Tools for Verification of Security Protocols
Nitish Dalal,
Jenny Shah,
Khushboo Hisaria,
Devesh Jinwala
Int. J. Commun. Netw. Syst. Sci.
Vol.3 No.10, October 27, 2010
DOI:
10.4236/ijcns.2010.310104
(PDF 95K)
HTML
Formal Verification of Robertson-Type Uncertainty Relation
Takaaki Masuhara,
Toru Kuriyama,
Masakazu Yoshida,
Jun Cheng
J. Quantum Inf. Sci.
Vol.5 No.2, June 11, 2015
DOI:
10.4236/jqis.2015.52008
(PDF 1656K)
HTML
XML
Integrating Formal Methods in XP—A Conceptual Solution
Shagufta Shafiq,
Nasir Mehmood Minhas
J. Software Eng. Appl.
Vol.7 No.4, April 17, 2014
DOI:
10.4236/jsea.2014.74029
(PDF 1512K)
HTML
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
Nazir Ahmad Zafar,
Ajmal Hussain,
Amir Ali
J. Software Eng. Appl.
Vol.3 No.8, August 26, 2010
DOI:
10.4236/jsea.2010.38093
(PDF 2602K)
HTML
State Based Static and Dynamic Formal Analysis of UML State Diagrams
Fahad Alhumaidan
J. Software Eng. Appl.
Vol.5 No.7, June 15, 2012
DOI:
10.4236/jsea.2012.57056
(PDF 148K)
HTML
About SCIRP
|
Sitemap
|
News
|
Jobs
Full Site
Copyright © 2020 Scientific Research Publishing Inc. All Rights Reserved.
Top