Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

130

Voted

TC
2002

117views Information Technology» more TC 2002»

Efficient and User-Friendly Verification

15 years 2 months ago

Efficient and User-Friendly Verification

Download cc.ee.ntu.edu.tw

Farn Wang, Pao-Ann Hsiung

Real-time Traffic

Information Technology | State-graph Manipulators | TC 2002 | User Interface | Verification Theory |

claim paper

Related Content

» UserFriendly Access Control for Public Network Ports

» A user friendly remote authentication scheme with smart cards against impersonation attack...

» A UserFriendly Development Tool for Medical Diagnosis Based on Bayesian Networks

» SMARTPAPER An Interactive and User Friendly Sketching System

» ComponentBased Design and Analysis of Embedded Systems with UPPAAL PORT

» Verification of Quantitative Temporal Properties of SDL Specifications

» Buddy tracking efficient proximity detection among mobile friends

» CFD Graphical Interface in Matlab

» An Efficient Approach to Multimodal Person Identity Verification by Fusing Face and Voice ...

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	TC
Authors	Farn Wang, Pao-Ann Hsiung

Comments (0)