[title]
[author]
(PDF [paperSize]K)
[HTML] [XML]
Home
Blog
Submit
Services
Articles
Book
Conferences
Back
Journals by Subject
Journals by Title
Search
Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking
Surapol Rochanapratishtha,
Wanchai Pijitrojana
(PDF 670K)
HTML
PLC Modeling and Checking Based on Formal Method
Yueshan Zheng,
Guiming Luo,
Junbo Sun,
Junjie Zhang,
Zhenfeng Wang
(PDF 171K)
HTML
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
Ryo Yanase,
Tatsunori Sakai,
Makoto Sakai,
Satoshi Yamane
(PDF 3730K)
HTML
XML
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification
Tim Warnecke
(PDF 3089K)
HTML
XML
A Quantitative Analysis of Collision Resolution Protocol for Wireless Sensor Network
Reema Patel,
Dhiren Patel
(PDF 1048K)
HTML
XML
About SCIRP
|
Sitemap
|
News
|
Jobs
Full Site
Copyright © 2019 Scientific Research Publishing Inc. All Rights Reserved.
Top
