Research on Security Verification of Program Coding
碩士 === 中國文化大學 === 資訊工程學系 === 106 === In recent years, the development of international software has been booming due to the demand for information system management and applications related to the cloud and smart phones. Some people say that the software can grasp the world. In the 21st century, t...
Main Authors: | CHOU,TZU-HSIANG, 周子翔 |
---|---|
Other Authors: | TSAI,CHANG-LUNG |
Format: | Others |
Language: | zh-TW |
Published: |
2018
|
Online Access: | http://ndltd.ncl.edu.tw/handle/y747bf |
Similar Items
-
Design and Experimental Verification of an Active Energy Managment Module for a Three-Energy-Source Electric Vehicle
by: Chou, Tzu-Cheng, et al.
Published: (2017) -
Monitoring and Warning for Water Quality of Aquaponics System by Internet of Thing
by: CHOU,TZU-HSIANG, et al.
Published: (2018) -
The Investigation on Establishment and Design Promotion Achievement of Design Promotion Unit in “China External Trade Development Council” from 1980`s to 1990`s
by: Chou, Tzu-Hsiang, et al.
Published: (2014) -
A Study on Wetlands Planning Considering the Impact of Climate Change – A Case Study of the Tam-sui River Basin Important Wetlands
by: Tzu-Hsiang Chou, et al.
Published: (2016) -
Formal verification of machine-code programs
by: Myreen, Magnus Oskar
Published: (2009)