[title]
[author]
(PDF [paperSize]K)
[HTML] [XML]
Home
Blog
Submit
Services
Articles
Book
Conferences
Back
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
(PDF 95K)
HTML
Formal Verification of Robertson-Type Uncertainty Relation
Takaaki Masuhara,
Toru Kuriyama,
Masakazu Yoshida,
Jun Cheng
(PDF 1656K)
HTML
XML
Integrating Formal Methods in XP—A Conceptual Solution
Shagufta Shafiq,
Nasir Mehmood Minhas
(PDF 1512K)
HTML
PLC Modeling and Checking Based on Formal Method
Yueshan Zheng,
Guiming Luo,
Junbo Sun,
Junjie Zhang,
Zhenfeng Wang
(PDF 171K)
HTML
FOTool: Modelling Indigenous Community Cultures in Sarawak
Edwin Mit,
Ng Bong Ding,
Cheah Wai Shiang
(PDF 1023K)
HTML
XML
About SCIRP
|
Sitemap
|
News
|
Jobs
Full Site
Copyright © 2019 Scientific Research Publishing Inc. All Rights Reserved.
Top
