[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
White Noise Analysis: A Measure of Time Series Model Adequacy
Imoh Udo Moffat,
Emmanuel Alphonsus Akpan
Appl. Math.
Vol.10 No.11, November 21, 2019
DOI:
10.4236/am.2019.1011069
(PDF 1291K)
HTML
XML
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
Koichi Kobayashi,
Kunihiko Hiraishi
Appl. Math.
Vol.7 No.15, September 16, 2016
DOI:
10.4236/am.2016.715146
(PDF 693K)
HTML
XML
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification
Tim Warnecke
Engineering
Vol.7 No.10, October 26, 2015
DOI:
10.4236/eng.2015.710056
(PDF 3089K)
HTML
XML
Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking
Surapol Rochanapratishtha,
Wanchai Pijitrojana
J. Quantum Inf. Sci.
Vol.5 No.3, September 16, 2015
DOI:
10.4236/jqis.2015.53012
(PDF 670K)
HTML
Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs
Trinh Cong Duy,
Nguyen Thanh Binh,
Ioannis Parissis
J. Software Eng. Appl.
Vol.6 No.10, October 04, 2013
DOI:
10.4236/jsea.2013.610A004
(PDF 922K)
HTML
About SCIRP
|
Sitemap
|
News
|
Jobs
Full Site
Copyright © 2020 Scientific Research Publishing Inc. All Rights Reserved.
Top