最 低 价：￥650.90
定 价：￥723.20
作 者：Doron A. Peled 编著 著
出 版 社：Oversea Publishing House
出版时间：2005-10-1
I S B N：9783540292098
| The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes -proceedings (published in time for the respective conference) -post-proceedings (consisting of thoroughly revised final full papers) -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.) |
| Keynote Speeches Ranking Abstraction as a Companion to Predicate Abstraction Termination and Invariance Analysis of Loops Some Perspectives of Infinite-State Verification Model Checking Verifying Very Large Industrial Circuits Using 100 Processes and Beyond A New Reachability Algorithm for Symmetric Multi-processor Architecture Comprehensive Verification Framework for Dependability of Self-optimizing Systems Exploiting Hub States in Automatic Verification Combined Methods An Approach for the Verification of SystemC Designs Using AsmL Decomposition-Based Verification of Cyclic Workflows Timed, Embedded, and Hybrid Systems (I) Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems Abstraction and Reduction Techniques Selective Search in Bounded Model Checking of Reachability Properties Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method Syntactical Colored Petri Nets Reductions Decidability and Complexity Algorithmic Algebraic Model Checking Ih Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology A Static Analysis Using Tree Automata for XML Access Control …… Established Formalisms and Standards Compostional Verification and Games Timed,Embedded,and Hybrid Systems(II) Protocols Analysis,Case Studies,and Tools Infintie-State and Parameterized Systems Author Index |
内容加载中，请稍后...
商品评论（0条）