FDT-based timed protocol verification

FDT-based timed protocol verification

Show other versions (1)

碩士 === 國立成功大學 === 資訊工程研究所 === 82 ===

Bibliographic Details
Main Authors:	Li, Xun Wei, 李勳緯
Other Authors:	Huang, Chong Ming
Format:	Others
Language:	zh-TW
Published:	1994
Online Access:	http://ndltd.ncl.edu.tw/handle/23379313420507806430

Similar Items

FDT-based Timed Protocol Verification
by: Shiun-Wei Lee, et al.
Published: (1994)

”FDT” Violation in Proteins
Published: (2018)

FDT Perimetry for Glaucoma Detection in Comprehensive Health Checkup Service
by: Ryo Terauchi, et al.
Published: (2020-01-01)

The measurement of compaction through field density test (FDT) in the embankment strata
by: Shafie, Mohd. Hafiz
Published: (2015)

Usability analysis of the FDT standard Device Type Manager (DTM) in the plant life cycle
by: Kanto, M. (Markku)
Published: (2015)

Glaucomatous patterns in Frequency Doubling Technology (FDT) perimetry data identified by unsupervised machine learning classifiers.
by: Christopher Bowd, et al.
Published: (2014-01-01)

Development of a new algorithm based on FDT Matrix perimetry and SD-OCT to improve early glaucoma detection in primary care
by: Morejon A, et al.
Published: (2018-12-01)

Klasifikasi Daya Tarik Konten Artikel Media Daring Dari Data Google Analytics Dengan C-FDT
by: Erlin Windia Ambarsari
Published: (2018-05-01)

Does the apodized diffractive intraocular lens Acrysof ReSTOR NaturalTM interfere with FDT Matrix perimetry results? A lente difrativa apodizada Acrysof ReSTOR NaturalTM pode interferir nos resultados da perimetria por FDT Matrix?
by: Karine Duarte Bojikian, et al.
Published: (2009-12-01)

Does the apodized diffractive intraocular lens Acrysof ReSTOR NaturalTM interfere with FDT Matrix perimetry results?
by: Karine Duarte Bojikian, et al.

VLSI Architecture Design for SVM-Based Speaker Verification
by: Li-Xun Lian, et al.
Published: (2013)

Verification and Performance Analysis of Time Base Coded Data Protocol
by: Elangovan, Selva Ganesh
Published: (2012)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
by: Sabina Szymoniak, et al.
Published: (2021-04-01)

Specification and Verification of Trunking Radio Communication Protocol
by: Lee Wei Bin, et al.
Published: (1999)

Certificateless Public Auditing Protocol with Constant Verification Time
by: Dongmin Kim, et al.
Published: (2017-01-01)

ATM Protocol Verification
by: Wu, Yeou Lung, et al.
Published: (1998)

An Integrated Approach for Estelle-based Protocol Verification
by: Pong Jao Chiang, et al.
Published: (1993)

Invariant-preserving transformations for the verification of place/transition systems (with application to the verification of protocols).
by: Zeng, Wei.
Published: (2009)

SITA standard, SITA fast, tendency-oriented perimetry (TOP) e perimetria de frequencia dupla (FDT) em individuos submetidos a perimetria computadorizada pela primeira vez
by: Pierre Filho, Paulo de Tarso Ponte
Published: (2008)

System Design and Experimental Verification of Air/Electric Hybrid Scooters
by: Hong-Wei Li, et al.
Published: (2014)

The Verification Protocol of Mobile Transactions Based on Signature Recognition
by: Yu-Hsuan Hung, et al.
Published: (2014)

A Simulation-Based ATM Protocol Verification Method
by: Chu, Kaung-Chieh, et al.
Published: (1997)

Formal verification of the Pastry protocol
by: Lu, Tianxiang
Published: (2013)

Modeling and Verification of the Bitcoin Protocol
by: Kaylash Chaudhary, et al.
Published: (2015-11-01)

Inductive verification of cryptographic protocols
by: Bella, Giampaolo
Published: (2000)

Preprocessing Based Verification of Multiparty Protocols with Honest Majority
by: Laud Peeter, et al.
Published: (2017-10-01)

Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker
by: Ammar, Marwan
Published: (2011)

Practical verification protocols for analog quantum simulators
by: Ryan Shaffer, et al.
Published: (2021-03-01)

BAVP: Blockchain-Based Access Verification Protocol in LEO Constellation Using IBE Keys
by: Songjie Wei, et al.
Published: (2018-01-01)

Object Tracking Based On PMHPSO-TVAC with Color and Depth Data in Real Time
by: Zheng-Xun Li, et al.
Published: (2016)

Automatic verification of network security protocol
by: 劉宸瑋
Published: (2006)

Design and Implementation of PUF Based Protocols for Remote Integrity Verification
by: Gaddam, Shravya
Published: (2016)

Deductive Verification of the Sliding Window Protocol
by: D. A. Chkliaev, et al.
Published: (2015-03-01)

Formal verification for a PMQTT protocol
by: Eman Elemam, et al.
Published: (2020-09-01)

Deductive Verification of the Sliding Window Protocol
by: D. A. Chkliaev, et al.
Published: (2012-01-01)

Formal verification of secured routing protocols
by: Arnaud, Mathilde
Published: (2011)

Formal specification and verification of OSI protocols
by: Zhang, Bairong
Published: (1996)

Definition and verification of computer network protocols
by: Stenning, N. V.
Published: (1978)

Formal verification of secured routing protocols
by: Arnaud, Mathilde
Published: (2011)

Verification tools for communication protocol design
by: Choy, Wai Hing
Published: (2000)

Cannot write session to /tmp/vufind_sessions/sess_pc3ip2deotk81lmch942n8hlrk