Dissertation > Excellent graduate degree dissertation topics show

Framed Temporal Logic Programming Interpreter and Model Checker

Author: MaYongTao
Tutor: DuanZhenHua
School: Xi'an University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: Temporal Logic Projection Interpreter Model Checking
CLC: TP311.52
Type: Master's thesis
Year: 2008
Downloads: 40
Quote: 0
Read: Download Dissertation

Abstract


Related Dissertations

  1. Research on Secure Fingerprint Authentication Based on Distance Projection Coding,TP391.4
  2. Crop Evapotranspiration Study on Evolution Rule and Forecast Model in Chaoyang Area,S161.4
  3. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
  4. The film screenings customer experience impact on customer loyalty empirical research,J943
  5. High-performed Kernel Classification Methods Based on Multi-kernel Learning,TP391.41
  6. Research on Network Anomaly Detection Based on Projection Pursuit Regression,TP393.08
  7. Research on Regression-based Super-Resolution Image Reconstruction Technique,TP391.41
  8. Research on a Secure E-Commerce Payment Protocol Based on Four Parties,TP393.08
  9. Fine geographical coordinates navigation projection technology research and application,P226.3
  10. Projection Theory of Functional Grammar and English Reading Teaching,H319
  11. Ad hoc networks are based on projection pursuit wormhole detection mechanism,TN929.5
  12. UEFI system scripting language and interpreter Research and Implementation,TP311.52
  13. Raster-based three-dimensional projection of dental measurement system,TP391.41
  14. P2P network based on gray theory Behavior Analysis and Forecast,TP393.02
  15. Common geodetic coordinate system conversion design and implementation,TP311.52
  16. Weak sparse underdetermined blind signal separation technology research,TN911.7
  17. Based on the DM6446 electronic image stabilization technology Research and Implementation,TP391.41
  18. Based on Image Analysis wheel alignment detection technology,TP274
  19. Fabric appearance based on machine vision digital analysis method and system design,TP391.41
  20. Integration and Application of Clustering Algorithm,TP311.13
  21. Quality Assessment in Consecutive Interpreting,H059

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile